5 papers
Digital Guardians: The Past and The Future of Cyber-Physical Resilience
Saurabh Bagchi, Hyunseung Kim, Tarek Abdelzaher +20
Resilience in cyber-physical systems (CPS) is the fundamental ability to maintain safety and critical functionality despite adverse "perturbations," which includes security attacks…
Monotone Neural Barrier Certificates
Saber Jafarpour, Alireza Nadali, Ashutosh Trivedi +1
This report presents a neurosymbolic framework for safety verification and control synthesis in high-dimensional monotone dynamical systems without relying on explicit models or co…
Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Barrier certificates provide functional overapproximations for the reachable set of dynamical systems and provide inductive guarantees on the safe evolution of the system. In autom…
Physics-Informed Reward Machines
Daniel Ajeleye, Ashutosh Trivedi, Majid Zamani
Reward machines (RMs) provide a structured way to specify non-Markovian rewards in reinforcement learning (RL), thereby improving both expressiveness and programmability. Viewed mo…
Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
Daniel Ajeleye, Majid Zamani
Finite-state abstractions (a.k.a. symbolic models) present a promising avenue for the formal verification and synthesis of controllers in continuous-space control systems. These ab…