8 papers
Constraint-Driven Synthesis of Hyper Petri Nets
Maksym Figat, Alessandro Pinto
This paper addresses the modeling and synthesis of constrained robotic system behaviors using Petri nets (PNs). It investigates how to construct models in which all observable syst…
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…
An ROS-based Shared Communication Middleware for Plug & Play Modular Intelligent Design of Smart Systems
Tathagata Chakraborti, Siddharth Srivastava, Alessandro Pinto +1
Centralized architectures for systems such as smart offices and homes are rapidly becoming obsolete due to inherent inflexibility in their design and management. This is because su…