Alessandro Pinto
Alessandro Pinto
Home
Experience
Projects
Publications
Contact
Light
Dark
Automatic
1
A model-based end-to-end toolchain for the probabilistic analysis of complex systems
We present a model-based environment for the probabilistic analysis of systems operating under uncertain conditions. This uncertainty …
Alessandro Pinto
,
Sudha Krishnamurthy
,
Suresh Kannan
PDF
Cite
Analysis of Stochastic Automata Networks using copula functions
In this paper we develop a copula based approximation framework for scalable analysis of Stochastic Automata Networks (SAN) arising in …
Amit Surana
,
Alessandro Pinto
PDF
Cite
Correct-by-construction design of aircraft electric power systems
We provide an optimization oriented formalization of correct-by-construction design following the principles of Platform-Based Design.1 …
Alessandro Pinto
,
Sandor Becz
,
Hayden Reeve
PDF
Cite
Design system for managing complexity in aerospace systems
A new generation of aerospace systems has introduced more-electric technologies and highly coupled architectures, leading to a …
Sandor Becz
,
Alessandro Pinto
,
Lawrence Zeidner
,
Ritest Khire
,
Hayden Reeve
,
Andrzej Banaszuk
PDF
Cite
Developing design tools for uncertain systems in an industrial setting
We motivate the need for a cyber-physical system analysis and design tool that embraces uncertainty as key characteristic of these type …
Alessandro Pinto
,
Sudha Krishnamurthy
PDF
Cite
Markov modeling of stochastic hybrid systems
Hybrid systems are a useful abstraction for systems that have a combination of discrete and continuous dynamics. For typical examples …
George Mathew
,
Alessandro Pinto
PDF
Cite
A case study in distributed deployment of embedded software for camera networks
We present an embedded software application for the real-time estimation of building occupancy using a network of video cameras. We …
Francesco Leonardi
,
Alessandro Pinto
,
Luca P Carloni
PDF
Cite
Synthesis of wireless time-triggered embedded networks for networked control systems
In this paper, we extend our previous work by including the decisions for connection-scheduling as part of the automated synthesis of …
Alessandro Pinto
,
Ratnesh Kumar
,
Songyan Xu
PDF
Cite
Interconnect modeling for improved system-level design optimization
Accurate modeling of delay, power, and area of interconnections early in the design phase is crucial for effective system-level …
Luca Carloni
,
Andrew B Kahng
,
Swamy Muddu
,
Alessandro Pinto
,
Kambiz Samadi
,
Puneet Sharma
PDF
Cite
Outage-based rate maximization in cdma wireless networks
The problem of maximizing the sum of the transmit rates while limiting the outage probability below an appropriate threshold is …
M D'Angelo
,
Carlo Fischione
,
Matteo Butussi
,
Alessandro Pinto
,
Al Sangiovanni-Vincentelli
PDF
Cite
«
»
Cite
×