5 papers · 1 filter
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…
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…
Probabilistically Safe Vehicle Control in a Hostile Environment
Igor Cizelj, Xu Chu Ding, Morteza Lahijanian +2
In this paper we present an approach to control a vehicle in a hostile environment with static obstacles and moving adversaries. The vehicle is required to satisfy a mission object…
Scalable Approach to Uncertainty Quantification and Robust Design of Interconnected Dynamical Systems
Andrzej Banaszuk, Vladimir A. Fonoberov, Thomas A. Frewen +8
Development of robust dynamical systems and networks such as autonomous aircraft systems capable of accomplishing complex missions faces challenges due to the dynamically evolving…