TerraSwarm Member Directory

...     in 

 

photo of Pierluigi Nuzzo
 
Pierluigi Nuzzo
    University of Southern California

Username:pierluiginuzzo
 
 
 
 
(To view user contact information, please log in.)
Home page:http://www.eecs.berkeley.edu/~nuzzo/
Bio:  
Group memberships

Papers, Presentations and Reports Authored by Pierluigi Nuzzo

  1. SMC: Satisfiability Modulo Convex Optimization, Yasser Shoukry, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada, George Pappas, October, 2016. Posted on 3 Nov 2016.
  2. Diagnosis and Repair for Synthesis from Signal Temporal Logic, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasumathi Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, Shankar Sastry, Sanjit Seshia, 26, October, 2016. Posted on 25 Oct 2016.
  3. Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications, Shromona Ghosh, Sadigh Dorsa, Pierluigi Nuzzo, Vasu Raman, Alexandre Donze, Alberto Sangiovanni-Vincentelli, S. Shankar Sastry, Sanjit Seshia, Hybrid Systems: Computation and Control, 12, April, 2016. Posted on 8 Feb 2016.
  4. SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks, Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Joao P. Hespanha, Paulo Tabuada, ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2016), 11, April, 2016. Posted on 8 Feb 2016.
  5. Compositional Design of Cyber-Physical Systems Using Contracts, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, October, 2015. Posted on 14 Oct 2015.
  6. A Contract-Based Framework for Integrated Demand-Response Management, Baihong Jin, Pierluigi Nuzzo, Mehdi Maasoumy, Yuxun Zhou, Alberto Sangiovanni-Vincentelli, 14, October, 2015. Posted on 14 Oct 2015.
  7. A Contract-Based Framework for Integrated Demand-Response Management in Smart Grids, Baihong Jin, Pierluigi Nuzzo, Mehdi Maasoumy, Yuxun Zhou, Alberto Sangiovanni-Vincentelli, International Conference on Embedded Systems For Energy-Efficient Built Environments (BuildSys 2015), ACM, 4, November, 2015. Posted on 21 Sep 2015.
  8. Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving, Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paolo Tabuada, Conference on Decision and Control (CDC 2015), IEEE, 15, December, 2015. Posted on 21 Sep 2015.
  9. A Platform-Based Design Methodology with Contracts and Related Tools for the Design of Cyber-Physical Systems, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Davide Bresolin, Luca Geretti, Proceedings of the IEEE, December, 2015. Posted on 3 Sep 2015.
  10. A Mixed Discrete-Continuous Optimization Scheme for Cyber-Physical System Architecture Exploration, John B. Finn, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, IEEE/ACM International Conference On Computer Aided Design, 2, November, 2015. Posted on 22 Jul 2015.
  11. Design Optimization of the Control System for the Powertrain of an Electric Vehicle: A Cyber-Physical System Approach, Chen Lv, Junzhi Zhang, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Yutong Li, Yuan Ye, International Conference on Mechatronics and Automation, IEEE, 2, August, 2015. Posted on 1 Jun 2015.
  12. Methodology and Tools for Next Generation Cyber-Physical Systems: The iCyPhy Approach, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Richard Murray, INCOSE International Symposium (IS2015), 235-249, 13, October, 2015. Posted on 6 Apr 2015.
  13. Sound and Complete State Estimation for Linear Dynamical Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving, Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada, American Control Conference (ACC), 3818-3823, 1, July, 2015. Posted on 17 Mar 2015.
  14. Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System, Mehdi Maasoumy, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Springer, 2015. Posted on 9 Dec 2014.
  15. Optimized Selection of Reliable and Cost-Effective Cyber-Physical System Architectures, Nikunj Bajaj, Pierluigi Nuzzo, Michael Masin, Alberto Sangiovanni-Vincentelli, DATE '15 Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, EDA Consortium San Jose, CA, 561-566, 9, March, 2015. Posted on 1 Dec 2014.
  16. Simulation-Based Design Space Exploration of Swarm Cyber-Physical Systems Using Contracts, John B. Finn, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, 29, October, 2014. Posted on 5 Nov 2014.
  17. Are Interface Theories Equivalent to Contract Theories?, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, October, 2014. Posted on 28 Oct 2014.
  18. Smart Buildings in the Smart Grid: Contract-Based Design of an Integrated Energy Management System, Mehdi Maasoumy, Pierluigi Nuzzo, Baihong Jin, Alberto Sangiovanni-Vincentelli, 2014 TerraSwarm Annual Meeting, October, 2014. Posted on 28 Oct 2014.
  19. Are Interface Theories Equivalent to Contract Theories?, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, International Conference on Formal Methods and Models for Co-Design (MEMOCODE), 19, October, 2014. Posted on 31 Aug 2014.
  20. Metronomy: A Function-Architecture Co-simulation Framework for Timing Verification of Cyber-Physical Systems, Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto Sangiovanni-Vincentelli, Edward A. Lee, International Conference on Hardware/Software Codesign and System Synthesis, 12, October, 2014. Posted on 4 Aug 2014.
  21. From Relational Interfaces to Assume-Guarantee Contracts, Pierluigi Nuzzo, Antonio Iannopollo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, U.C. Berkeley, 2014. Posted on 27 Mar 2014.
  22. Optimal Load Management System for Aircraft Electric Power Distribution, Pierluigi Nuzzo, February, 2014. Posted on 21 Feb 2014.
  23. Optimal Architecture Synthesis for Aircraft Electrical Power Systems(EPS), Nikunj Bajaj, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, 13, February, 2014. Posted on 18 Feb 2014.
  24. Let's get physical: computer science meets systems, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, From Programs to Systems - The Systems Perspective in Computing Workshop, European Joint Conferences on Theory and Practice of Software (ETAPS), 6, April, 2014. Posted on 11 Feb 2014.
  25. A Contract-Based Methodology for Aircraft Electric Power System Design, Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto Sangiovanni-Vincentelli, Richard Murray, Alexandre Donze, Sanjit Seshia, IEEE Access, March, 2014. Posted on 2 Jan 2014.
  26. Library-Based Scalable Refinement Checking for Contract-Based Design, Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, Design Automation and Test in Europe (DATE), 24, March, 2014. Posted on 2 Jan 2014.
  27. Contract-Based Design of Control Protocols for Safety-Critical Cyber-Physical Systems, Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Alberto Sangiovanni-Vincentelli, Design Automation and Test in Europe, 24, March, 2014. Posted on 2 Jan 2014.
  28. Library-Based Scalable Refinement Checking for Contract-Based Design, Antonio Iannopollo, Pierluigi Nuzzo, Stavros Tripakis, Alberto Sangiovanni-Vincentelli, November, 2013. Posted on 13 Dec 2013.
  29. Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems, Pierluigi Nuzzo, John B. Finn, Mohammad Mozumdar, Alberto Sangiovanni-Vincentelli, Green Energy and Systems Conference 2013, IEEE, November, 2013. Posted on 15 Nov 2013.
  30. Contract-Based Design of Cyber-Physical Swarms, Pierluigi Nuzzo, Antonio Iannopollo, John B. Finn, Alberto Sangiovanni-Vincentelli, Alexandre Donze, Richard Murray, Sanjit Seshia, Stavros Tripakis, 6, November, 2013. Posted on 12 Nov 2013.
  31. Contract-Based Design of Control Protocols for Safety-Critical Cyber-Physical Systems, Pierluigi Nuzzo, John B. Finn, Antonio Iannopollo, Nikunj Bajaj, Alberto Sangiovanni-Vincentelli, 5, November, 2013. Posted on 4 Nov 2013.
  32. HOLMS: Hierarchical Optimal Load Management System for Aircraft Electric Power Distribution, Mehdi Maasoumy, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Claire Tomlin, 5, November, 2013. Posted on 4 Nov 2013.
  33. Optimal Load Management System for Aircraft Electric Power Distribution, Mehdi Maasoumy, Pierluigi Nuzzo, Forrest Iandola, Maryam Kamgarpour, Alberto Sangiovanni-Vincentelli, Claire Tomlin, IEEE Conference on Decision and Control, December, 2013. Posted on 11 Aug 2013.

Counts

  • 3 Journal articles.
  • 22 Conference papers.
  • 1 Technical report.
  • 3 Talk or presentations.
  • 3 Posters.
  • 2 Book chapters or sections.

The counts above are from the publications database. The number of posters is derived from the presentations.

Note: A poster is a presentation that has the word 'poster' (case-insensitive) in the any of the text fields. Thus, the poster count might be somewhat inaccurate. The number of posters is deducted from the number of presentations and bother are reported.