1

Learning Hierarchical Control For Multi-Agent Capacity-Constrained Systems
This paper introduces a novel data-driven hierarchical control scheme for managing a fleet of nonlinear, capacity-constrained …
Charlott Vallon, Alessandro Pinto, Bartolomeo Stellato, Francesco Borrelli
PDF Cite
Learning Hierarchical Control For Multi-Agent Capacity-Constrained Systems
Learning Hierarchical Control Systems for Autonomous Systems with Energy Constraints
This paper focuses on the design of hierarchical control architectures for autonomous systems with energy constraints. We focus on …
Charlott Vallon, Mark Pustilnik, Alessandro Pinto, Francesco Borrelli
PDF Cite
Learning Hierarchical Control Systems for Autonomous Systems with Energy Constraints
AACE: Automated Assurance Case Environment for Aerospace Certification
A certification process evaluates whether the risk of a system is acceptable for its intent. Certification processes are complex and …
Zamira Daw, Chanwook Oh, Matthew Low, Timothy Wang, Isaac Amundson, Alessandro Pinto, Massimiliano Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville, Pierluigi Nuzzo
PDF Cite
AACE: Automated Assurance Case Environment for Aerospace Certification
Computer-Aided Generation of Assurance Cases
Assurance cases (ACs) have gained attention in the aerospace, medical, and other heavily-regulated industries as a means for providing …
Timothy Wang, Chanwook Oh, Matthew Low, Isaac Amundson, Zamira Daw, Alessandro Pinto, Massimiliano Chiodo, Guoqiang Wang, Saqib Hasan, Ryan Melville
Cite
Computer-Aided Generation of Assurance Cases
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System
The environments and the goals that an autonomous system needs to be able to understand and act upon are not fully known and clearly …
Alessandro Pinto, Anthony Corso, Edward Schmerling
PDF Cite
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System
Early Design Exploration of Space System Scenarios Using Assume-Guarantee Contracts
We present a compositional approach to modeling and analyzing space mission operation sequences with steps across multiple viewpoints. …
Nicolas Rouquette, Inigo Incer, Alessandro Pinto
Cite
Assurance for Autonomy - JPL's past research, lessons learned, and future directions
Robotic space missions have long depended on automation, defined in the 2015 NASA Technology Roadmaps as “the …
Martin Feather, Alessandro Pinto
PDF Cite
Hierarchical Contract-Based Synthesis for Assurance Cases
An automatic synthesis problem is often characterized by an overall goal or specification to be satisfied, the set of all possible …
Timothy E Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto
PDF Cite
Automated Construction of Knowledge-Bases for Safety Critical Applications: Challenges and Opportunities.
Creation of machine-usable, high-quality knowledge-bases is a critical prerequisite for many important ap- plications that rely on …
Amit Bhatia, Alessandro Pinto
PDF Cite
Requirement Specification, Analysis and Verification for Autonomous Systems
The environments and the goals that an autonomous system needs to be able to understand and act upon are not fully known and clearly …
Alessandro Pinto
PDF Cite