Alessandro Pinto

Alessandro Pinto

Autonomy Assurance Lead

NASA JPL

Brief Bio

Alessandro Pinto is the autonomy assurance lead at the NASA Jet Propulsion Laboratory. He has an extensive background in the area of design methodologies, model-based design, and formal approaches to verification and synthesis from system-level specifications to embedded implementation. Since 2010, his focus has been on autonomous systems for the aerospace industry, including the definition of architectures, the implementation of algorithms for decision-making and software agents, and the development of modeling and verification techniques for assurance.

Interests
  • Autonomous Systems
  • Model-Based Engineering
  • Assurance
Education
  • PhD in Electrical Engineering and Computer Sciencies, 2008

    University of California, Berkeley

  • Laurea in Electronic Engineering, 1999

    Universita' "La Sapienza", Rome, Italy

Experience

 
 
 
 
 
NASA Jet Propulsion Laboratory, California Institute of Technology
Autonomy Assurance Lead
Aug 2022 – Present California
Leading the development of assurance methods and tools for autonomus systems.
 
 
 
 
 
University of California, Santa Cruz
Associate Adjunct Professor
Jul 2022 – Jun 2024 California
Doing research in the broad area of cyber-physical systems.
 
 
 
 
 
Raytheon Technologies Research Center
Fellow, Embedded Autonomy
Apr 2018 – Jun 2022 California
  • Development of technology roadmaps for autonomy
  • Ensuring technical excellence
  • Technology transfer from research to products
  • Mentoring
  • Outreaching / collaborating with academic partners
  • Remaining active in the research community
 
 
 
 
 
United Technologies Research Center (now RTRC)
Associated Directory of Research, Autonomus and Intelligent Systems
Oct 2014 – Apr 2018 California
Development of technical roadmaps in the specific areas of knowledge acquisition, reasoning methods, and architectural design of distributed autonomous and intelligent systems; coordinating the transition of technology to business units; proposal writing and project execution.
 
 
 
 
 
United Technologies Research Center (now RTRC)
Staff Scientist/Engineer, Autonomus and Intelligent Systems / Design Methods
Jun 2008 – Oct 2014 California
Technical lead for the development of computer automation technologies including algorithms and tools for system design, verification, reasoning, decision making, and run-time management. External and internal marketing of new concepts, proposal writing, technical project execution and development of complex software systems. Publication of research results in conference and journal papers.

Publications

Quickly discover relevant content by filtering publications.
(2024). Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements. TCAD.

PDF Cite

(2024). Learning Hierarchical Control Systems for Autonomous Systems with Energy Constraints. CDC2024.

PDF Cite

(2023). Computer-Aided Generation of Assurance Cases. In SASSUR.

Cite

(2023). Survey of Human Models for Verification of Human-Machine Systems. (Submitted to) IEEE Transactions on Human Machine Systems.

PDF Cite

(2023). Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System. 2023 IEEE International Conference on Assured Autonomy (ICAA).

PDF Cite

(2023). Early Design Exploration of Space System Scenarios Using Assume-Guarantee Contracts. 2023 IEEE Space Mission Challenges for Information Technology (SMC-IT).

Cite

(2023). Assurance for Autonomy - JPL's past research, lessons learned, and future directions. 2023 IEEE International Conference on Assured Autonomy (ICAA).

PDF Cite

(2022). Analysis and Design of Uncertain Cyber-Physical Systems. Computation-Aware Algorithmic Design for Cyber-Physical Systems.

PDF Cite

(2022). Hierarchical Contract-Based Synthesis for Assurance Cases. NASA Formal Methods Symposium.

PDF Cite

(2021). Automated Construction of Knowledge-Bases for Safety Critical Applications: Challenges and Opportunities.. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering.

PDF Cite

(2021). Requirement Specification, Analysis and Verification for Autonomous Systems. 2021 58th ACM/IEEE Design Automation Conference (DAC).

PDF Cite

(2019). An open and modular architecture for autonomous and intelligent systems. 2019 IEEE International Conference on Embedded Software and Systems (ICESS).

PDF Cite

(2019). Explaining AI decisions using efficient methods for learning sparse Boolean formulae. Journal of Automated Reasoning.

PDF Cite

(2017). CSL4P: A contract specification language for platforms. Systems Engineering.

PDF Cite

(2017). On learning sparse Boolean formulae for explaining AI decisions. NASA Formal Methods Symposium.

PDF Cite

(2015). Metaphysics of planning domain descriptions. 2015 AAAI Fall Symposium Series.

PDF Cite

(2014). Hierarchical multi-objective planning: From mission specifications to contingency management. 2014 IEEE international conference on robotics and automation (ICRA).

PDF Cite

(2013). A complexity metric for concurrent finite state machine based embedded software. 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES).

PDF Cite

(2013). Strategic planning under uncertainties via constrained Markov decision processes. 2013 IEEE International Conference on Robotics and Automation.

PDF Cite

(2012). Correct-by-construction and optimal synthesis of beacon-enabled ZigBee network. IEEE Transactions on Automation Science and Engineering.

PDF Cite

(2012). Stringent safety design and verification methods for VTOL unmanned aerial vehicles. Proceedings of the American Helicopter Society 68th Annual Forum, Fort Worth, TX.

Cite

(2011). A hierarchical wireless network architecture for building automation and control systems. Proceedings of the 7th International Conference on Networking and Services (ICNS).

PDF Cite

(2011). Model-based hierarchical optimal control design for HVAC systems. Dynamic Systems and Control Conference.

PDF Cite

(2011). Optimal design of a class of hybrid systems with uncertain parameters. 2011 50th IEEE Conference on Decision and Control and European Control Conference.

PDF Cite

(2011). Probabilistically safe vehicle control in a hostile environment. IFAC Proceedings Volumes.

PDF Cite

(2011). Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems. Annual Reviews in Control.

PDF Cite

(2011). Stochastic analysis and design of systems. Defense Technical Information Center #ADA552645.

PDF Cite

(2011). Synthesis of distributed execution platforms for cyber-physical systems with applications to high-performance buildings. 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

PDF Cite

(2010). A design flow for building automation and control systems. 2010 31st IEEE Real-Time Systems Symposium.

PDF Cite

(2010). A model-based end-to-end toolchain for the probabilistic analysis of complex systems. 2010 IEEE International Conference on Automation Science and Engineering.

PDF Cite

(2010). Analysis of Stochastic Automata Networks using copula functions. 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

PDF Cite

(2010). Correct-by-construction design of aircraft electric power systems. 10th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference.

PDF Cite

(2010). Design system for managing complexity in aerospace systems. 10th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference.

PDF Cite

(2010). Developing design tools for uncertain systems in an industrial setting. 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

PDF Cite

(2010). Markov modeling of stochastic hybrid systems. 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

PDF Cite

(2009). A case study in distributed deployment of embedded software for camera networks. 2009 Design, Automation & Test in Europe Conference & Exhibition.

PDF Cite

(2009). A methodology for constraint-driven synthesis of on-chip communications. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

PDF Cite Source Document

(2009). Accurate predictive interconnect modeling for system-level design. IEEE transactions on very large scale integration (VLSI) systems.

PDF Cite

(2009). Synthesis of wireless time-triggered embedded networks for networked control systems. 2009 IEEE International Conference on Automation Science and Engineering.

PDF Cite

(2008). COSI: A framework for the design of interconnection networks. IEEE Design & Test of Computers.

PDF Cite

(2008). Interconnect modeling for improved system-level design optimization. 2008 Asia and South Pacific Design Automation Conference.

PDF Cite

(2008). Outage-based rate maximization in cdma wireless networks. IEEE GLOBECOM 2008-2008 IEEE Global Telecommunications Conference.

PDF Cite

(2008). Synthesis of embedded networks for building automation and control. 2008 American Control Conference.

PDF Cite

(2007). A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. Proceedings of the 7th ACM & IEEE international conference on Embedded software.

PDF Cite

(2007). A next-generation design framework for platform-based design. Conference on using hardware design and verification languages (DVCon).

Cite

(2006). Interchange format for hybrid systems: Abstract semantics. International Workshop on Hybrid Systems: Computation and Control.

PDF Cite

(2006). Interchange semantics for hybrid system models. Proc. of 5th MATHMOD.

PDF Cite Slides

(2006). Languages and tools for hybrid systems design. Foundations and Trends® in Electronic Design Automation.

PDF Cite

(2006). System level design paradigms: Platform-based design and communication synthesis. ACM Transactions on Design Automation of Electronic Systems (TODAES).

PDF Cite

(2005). A formal approach to system level design: Metamodels and unified design environments. Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE'05..

PDF Cite

(2005). An overview of embedded system design education at Berkeley. ACM Transactions on Embedded Computing Systems (TECS).

PDF Cite

(2005). Embedded system education: a new paradigm for engineering schools?. ACM SIGBED Review.

PDF Cite

(2005). Interchange formats for hybrid systems: Review and proposal. International Workshop on Hybrid Systems: Computation and Control.

PDF Cite

(2005). On the partitioning of syntax and semantics for hybrid systems tools. Proceedings of the 44th IEEE Conference on Decision and Control.

PDF Cite

(2003). Efficient synthesis of networks on chip. Proceedings 21st International Conference on Computer Design.

PDF Cite

(2002). Constraint-driven communication synthesis. Proceedings of the 39th annual Design Automation Conference.

PDF Cite

(0001). Learning Hierarchical Control For Multi-Agent Capacity-Constrained Systems. CDC2024.

PDF Cite

Contact

Work e-mail : apinto@jpl.nasa.gov
Personal e-mail: apinto@berkeley.edu
UCSC e-mail : alpinto@ucsc.edu