129 citations · 349 across the 72 of their papers we have counts for
18 papers · 1 filter
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
In this work, we propose a compositional framework for the construction of control barrier functions for networks of continuous-time stochastic hybrid systems enforcing complex log…
A Framework for Output-Feedback Symbolic Control
Mahmoud Khaled, Kuize Zhang, Majid Zamani
Symbolic control is an abstraction-based controller synthesis approach that provides, algorithmically, certifiable-by-construction controllers for cyber-physical systems. Symbolic…
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks
Shuo Yang, Xiang Yin, Shaoyuan Li +1
In this paper, we investigate the problem of planning an optimal infinite path for a single robot to achieve a linear temporal logic (LTL) task with security guarantee. We assume t…
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes
Pushpak Jagtap, George J. Pappas, Majid Zamani
This paper focuses on the controller synthesis for unknown, nonlinear systems while ensuring safety constraints. Our approach consists of two steps, a learning step that uses Gauss…
Verification of Initial-State Opacity for Switched Systems: A Compositional Approach
Siyuan Liu, Abdalla Swikir, Majid Zamani
The security in information-flow has become a major concern for cyber-physical systems (CPSs). In this work, we focus on the analysis of an information-flow security property, call…
Symbolic Models for a Class of Impulsive Systems
Abdalla Swikir, Antoine Girard, Majid Zamani
Symbolic models have been used as the basis of a systematic framework to address control design of several classes of hybrid systems with sophisticated control objectives. However,…
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani +1
In this paper, we propose a software tool, called AMYTISS, implemented in C++/OpenCL, for designing correct-by-construction controllers for large-scale discrete-time stochastic sys…
Data-Driven Verification under Signal Temporal Logic Constraints
Ali Salamati, Sadegh Soudjani, Majid Zamani
We consider systems under uncertainty whose dynamics are partially unknown. Our aim is to study satisfaction of temporal logic properties by trajectories of such systems. We expres…
Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach
Ameneh Nejati, Majid Zamani
This paper provides a compositional scheme based on dissipativity approaches for constructing finite abstractions of continuous-time continuous-space stochastic control systems. Th…
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
In this paper, we propose a compositional framework for the construction of control barrier certificates for large-scale stochastic switched systems accepting multiple control barr…
Numerical Estimation of Invariance Entropy for Nonlinear Control Systems
Mahendra Singh Tomar, Christoph Kawan, Pushpak Jagtap +1
For a closed-loop control system with a digital channel between the sensor and the controller, the notion of invariance entropy quantifies the smallest average rate of information…
Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems
Siyuan Liu, Majid Zamani
In this paper, we propose a compositional approach to construct opacity-preserving finite abstractions (a.k.a symbolic models) for networks of discrete-time nonlinear control syste…
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani +2
A novel reinforcement learning scheme to synthesize policies for continuous-space Markov decision processes (MDPs) is proposed. This scheme enables one to apply model-free, off-the…
Small-gain theorem for stability, cooperative control and distributed observation of infinite networks
Navid Noroozi, Andrii Mironchenko, Christoph Kawan +1
Motivated by a paradigm shift towards a hyper-connected world, we develop a computationally tractable small-gain theorem for a network of infinitely many systems, termed as infinit…
dtControl: Decision Tree Learning Algorithms for Controller Representation
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap +3
Decision tree learning is a popular classification technique most commonly used in machine learning applications. Recent work has shown that decision trees can be used to represent…
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach
Adnane Saoud, Pushpak Jagtap, Majid Zamani +1
In this paper, we focus on mitigating the computational complexity in abstraction-based controller synthesis for interconnected control systems. To do so, we provide a compositiona…
Compositional Construction of Control Barrier Functions for Interconnected Control Systems
Pushpak Jagtap, Abdalla Swikir, Majid Zamani
In this paper, we provide a compositional framework for synthesizing hybrid controllers for interconnected discrete-time control systems enforcing specifications expressed by co-Bu…
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems
Alex Devonport, Mahmoud Khaled, Murat Arcak +1
Reachability analysis is a critical tool for the formal verification of dynamical systems and the synthesis of controllers for them. Due to their computational complexity, many rea…