This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder. For IEEE pubs: Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
In preparation
A Synthesis-Based Framework for the Design of
Networked Cyber-Physical Systems in High-Performance Buildings
F. Leonardi, A. Pinto, L. P. Carloni
Books and Monographs
Stochastic Analysis and Design of Systems
G. A. Mathew, A. Pinto
Languages and Tools for Hybrid
System Design
L. P. Carloni, R. Passerone, A.
Pinto and A. Sangiovanni Vincentelli
Journal publications
Correct-by-Construction and Optimal Network
Synthesis for Distributed Control/Embedded Systems
S.
Xu, R. Kumar, A. Pinto
Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems
Andrzej Banaszuk, Vladimir A. Fonoberov, Thomas A. Frewen, Marin Kobilarov, George Mathew, Igor Mezic, Alessandro Pinto, Tuhin Sahai, Harshad Sane, Alberto Speranzon, Amit Surana
Accurate Predictive
Interconnect Modeling for System-Level Design
L.
Carloni, A. Kahng, S. Muddu, A. Pinto, K. Samadi, P. Sharma
A Methodology for
Constraint-Driven Synthesis of On-Chip Communications
A.
Pinto, L. P. Carloni, A. L. Sangiovanni-Vincentelli
COSI: A Framework for the
Design of Interconnection Networks
A. Pinto, L.
P. Carloni, A. L. Sangiovanni-Vincentelli
System level design
paradigms: Platform-based design and communication synthesis
A.
Pinto, A. Bonivento, A. Sangiovanni Vincentelli, R. Passerone, M. Sgroi
An overview of embedded
system design education at berkeley
A.
Sangiovanni Vincentelli, A. Pinto
Conference publications
Optimal Design of Hybrid Systems with Uncertain Parameters
George Mathew, Alessandro Pinto
Model-based Hierarchical Optimal Control Design for HVAC Systems
Mehdi Maasoumy, Alessandro Pinto and Alberto Sangiovanni-Vincentelli
A hierarchical Wireless Network Architecture for Building Automation and Control Systems
Mohammad Mostafizur Rahman Mozumdar, Alberto Puggelli, Alessandro Pinto, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli
Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings
Francesco Leonardi, Alessandro Pinto, Luca Carloni
Probabilistically Safe Vehicle Control in a Hostile Environment
Igor Cizelj, Xu Chu (Dennis) Ding, Morteza Lahijanian,
Alessandro Pinto,Calin Belta
A Design Flow for
Building Automation and Control Systems
Yang
Yang, Alessandro Pinto, Alberto Sangiovannig Vincentelli, Qi Zhu
Developing
design tools for uncertain systems in an industrial setting
Alessandro
Pinto, Sudha Krishnamurthy
Markov modeling of
Stochastic Hybrid Systems
George Mathew, Pinto
Analysis of
Stochastic Automata Networks using Copula Functions
Amit Surana, Alessandro
Pinto
Design System for Managing Complexity in Aerospace
Systems
Sandor Becz, Alessandro
Pinto, Lawrence E. Zeidner, Ritesh Khire, Andrzej Banaszuk, Hayden M. Reeve
Correct-by-Construction Design of Aircraft Electric
Power Systems
Alessandro Pinto, Sandor Becz, Hayden M. Reeve
A Model-Based End-to-End Toolchain for the Probabilistic Analysis of Complex Systems
Alessandro Pinto, Sudha Krishnamurthy, Suresh Kannan
Synthesis of Wireless Time-Triggered Embedded Networks for Networked Control Systems
Alessandro Pinto, Ratnesh Kumar, Songyan Xu
A Case-Study in Distributed Deployment of Embedded Software for Camera Networks
Francesco Leonardi, Alessandro Pinto, Luca Carloni
Outage-Based Rate Maximization in CDMA Wireless Networks
Massimiliano D'Angelo, Carlo Fischione, Matteo Butussi, Alessandro Pinto, A. Sangiovanni Vincentelli
Synthesis of Embedded Networks for Building Automation and Control
Alessandro Pinto, Massimiliano D'Angelo, Carlo Fischione, Eelco Scholte, A. Sangiovanni Vincentelli
Interconnect Modeling for Improved System-Level Design Optimization
Luca Carloni, Andrew Kahng, Swamy Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma
Communication Synthesis for Heterogeneous Networked Control Systems
Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni Vincentelli
A Next-Generation Design Framework for Platform-Based Design
Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, Qi Zhu
Interchange Semantics for Hybrid System Models
Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni Vincentelli
Interchange Format for Hybrid Systems: Abstract Semantics
Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
On the Partitioning of Syntax and Semantics For Hybrid Systems Tools
Jonathan Sprinkle, Aaron Ames, Alessandro Pinto, Haiyang Zheng, Shankar Sastry
Embedded System Education: A New Paradigm for
Engineering Schools?
Alberto L. Sangiovanni Vincentelli, Alessandro Pinto
A formal approach to system level design: metamodels and unified design environments
Felice Balarin, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni Vincentelli
Interchange Formats for Hybrid Systems: Review and Proposal
Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone
Efficient synthesis of networks on chip
Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
Constraint-driven communication synthesis
Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli