Alessandro Pinto
Alessandro Pinto
Home
Experience
Projects
Publications
Contact
Light
Dark
Automatic
1
Computing Probability Distributions over a Hybrid State Space: Case Study and Practical Limitations
Alessandro Pinto
,
George A Mathew
Cite
Hierarchical multi-objective planning: From mission specifications to contingency management
We propose a hierarchical planning framework for mission planning and execution in uncertain and dynamic environments. We consider …
Xuchu Dennis Ding
,
Brendan Englot
,
Alessandro Pinto
,
Alberto Speranzon
,
Amit Surana
PDF
Cite
A complexity metric for concurrent finite state machine based embedded software
The development cost of safety-critical embedded systems is dominated today by the cost of software including verification and …
Liangpeng Guo
,
Alberto Sangiovanni-Vincentelli
,
Alessandro Pinto
PDF
Cite
Strategic planning under uncertainties via constrained Markov decision processes
In this paper, we propose a hierarchical mission planner where the state of the world and of the mission are abstracted into …
Xu Chu Ding
,
Alessandro Pinto
,
Amit Surana
PDF
Cite
Stringent safety design and verification methods for VTOL unmanned aerial vehicles
I Cherepinsky
,
A Pinto
Cite
A hierarchical wireless network architecture for building automation and control systems
The building automation industry is experiencing a sudden increase in the complexity of control systems, mainly due to the push towards …
M Mozumdar
,
Alberto Puggelli
,
Alessandro Pinto
,
Luciano Lavagno
,
Alberto L Sangiovanni-Vincentelli
PDF
Cite
Model-based hierarchical optimal control design for HVAC systems
A hierarchical control architecture for balancing comfort and energy consumption in buildings is presented. The control design is based …
Mehdi Maasoumy
,
Alessandro Pinto
,
Alberto Sangiovanni-Vincentelli
PDF
Cite
Optimal design of a class of hybrid systems with uncertain parameters
Many modern engineering systems can be mathematically modeled as hybrid systems. For many such systems, there may be uncertain …
George Mathew
,
Alessandro Pinto
PDF
Cite
Synthesis of distributed execution platforms for cyber-physical systems with applications to high-performance buildings
We propose a methodology, and its embodiment into a design flow, to realize execution platforms for high-performance building …
Francesco Leonardi
,
Alessandro Pinto
,
Luca P Carloni
PDF
Cite
A design flow for building automation and control systems
We propose a system-level design flow for building automation and control (BAC) systems. The input to the design flow is a high level …
Yang Yang
,
Alessandro Pinto
,
Alberto Sangiovanni-Vincentelli
,
Qi Zhu
PDF
Cite
«
»
Cite
×