2 citations · 3 across the 6 of their papers we have counts for
7 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…
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…
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…
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…
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
Control barrier certificates have proven effective in formally guaranteeing the safety of the control systems. However, designing a control barrier certificate is a time-consuming…
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…
Symbolic Abstractions of Networked Control Systems
Majid Zamani, Manuel Mazo, Mahmoud Khaled +1
The last decade has witnessed significant attention on networked control systems (NCS) due to their ubiquitous presence in industrial applications, and, in the particular case of w…