4 papers
Analysis and Design of Uncertain Cyber-Physical Systems
Alessandro Pinto
Several sources of uncertainty have to be taken into account in the analysis and design of CPS. The set of parameters used in the model of the physical plant of a CPS may be uncert…
Survey of Human Models for Verification of Human-Machine Systems
Timothy E. Wang, Alessandro Pinto
We survey the landscape of human operator modeling ranging from the early cognitive models developed in artificial intelligence to more recent formal task models developed for mode…
Assurance for Autonomy -- JPL's past research, lessons learned, and future directions
Martin S. Feather, Alessandro Pinto
Robotic space missions have long depended on automation, defined in the 2015 NASA Technology Roadmaps as "the automatically-controlled operation of an apparatus, process, or system…
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System
Alessandro Pinto, Anthony Corso, Edward Schmerling
We apply a compositional formal modeling and verification method to an autonomous aircraft taxi system. We provide insights into the modeling approach and we identify several resea…