Alessandro Pinto
Home
Publications
Books
Conferences
Journals
Reports
Protected: Stringent Safety Design and Verification Methods for VTOL Unmanned Aerial Vehicles (Submitted)
On February 13, 2012, in
conference
,
publication
, by pintoa
Protected: Methods and Tools to Enable the Verification of Intelligent Systems (submitted)
On February 13, 2012, in
conference
,
publication
, by pintoa
Optimal Design of Hybrid Systems with Uncertain Parameters [CDC '11]
On February 13, 2012, in
conference
,
publication
, by pintoa
Model-based Hierarchical Optimal Control Design for HVAC Systems [DSCC '11]
On February 13, 2012, in
conference
,
publication
, by pintoa
A hierarchical Wireless Network Architecture for Building Automation and Control Systems [ICNS '11]
On February 13, 2012, in
conference
,
publication
, by pintoa
Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings [ICCPS '11]
On February 13, 2012, in
conference
,
publication
, by pintoa
Probabilistically Safe Vehicle Control in a Hostile Environment [IFAC '11]
On February 13, 2012, in
conference
,
publication
, by pintoa
A Design Flow for Building Automation and Control Systems [RTSS '10]
On February 13, 2012, in
conference
,
publication
, by pintoa
Developing design tools for uncertain systems in an industrial setting [ALLERTON '10]
On February 13, 2012, in
conference
,
publication
, by pintoa
Markov modeling of Stochastic Hybrid Systems [ALLERTON '10]
On February 13, 2012, in
conference
,
publication
, by pintoa
« Previous Entries
Categories
notes
(1)
publication
(38)
book/monograph
(2)
conference
(29)
journal
(7)
Links
United Technologies
UTRC
