Unit Commitment Using Particle Swarm-Based-Simulated Annealing Optimization Approach. - Nasser Sadati; Mahdi Hajian; Majid Zamani 001 (SIS, 2007)

Symbolic models for unstable nonlinear control systems. - Majid Zamani 001; Giordano Pola; Paulo Tabuada (ACC, 2010)

Towards backstepping design for incremental stability. - Majid Zamani 001; Paulo Tabuada (CDC, 2010)

A Lyapunov approach in incremental stability. - Majid Zamani 001; Rupak Majumdar (CDC/ECC, 2011)

Performance-aware scheduler synthesis for control systems. - Rupak Majumdar; Indranil Saha; Majid Zamani 001 (EMSOFT, 2011)

Coordinate-invariant incremental Lyapunov functions - Majid Zamani 001; Rupak Majumdar (CoRR, 2011)

Backstepping Design for Incremental Stability. - Majid Zamani 001; Paulo Tabuada (IEEE Trans. Autom. Control., 2011)

Approximately Bisimilar Symbolic Models for Digital Control Systems. - Rupak Majumdar; Majid Zamani 001 (CAV, 2012)

Synthesis of minimal-error control software. - Rupak Majumdar; Indranil Saha; Majid Zamani 001 (EMSOFT, 2012)

Symbolic Models for Nonlinear Control Systems Without Stability Assumptions. - Majid Zamani 001; Giordano Pola; Manuel Mazo Jr. 002; Paulo Tabuada (IEEE Trans. Autom. Control., 2012)

Control of cyber-physical systems using incremental properties of physical systems. - Majid Zamani 001 (2012)

Bisimilar finite abstractions of stochastic control systems. - Majid Zamani 001; Peyman Mohajerin Esfahani; Rupak Majumdar; Alessandro Abate; John Lygeros (CDC, 2013)

Symbolic models for stochastic control systems without stability assumptions. - Majid Zamani 001; Peyman Mohajerin Esfahani; Alessandro Abate; John Lygeros (ECC, 2013)

Controller synthesis for incremental stability: Application to symbolic controller synthesis. - Majid Zamani 001; Nathan van de Wouw (ECC, 2013)

Symbolic Control of Stochastic Switched Systems via Finite Abstractions. - Majid Zamani 001; Alessandro Abate (QEST, 2013)

Backstepping controller synthesis and characterizations of incremental stability. - Majid Zamani 001; Nathan van de Wouw; Rupak Majumdar (Syst. Control. Lett., 2013)

Symbolic models for randomly switched stochastic systems. - Majid Zamani 001; Alessandro Abate (ACC, 2014)

Compositional approximations of interconnected stochastic hybrid systems. - Majid Zamani 001 (CDC, 2014)

Finite abstractions of networked control systems. - Majid Zamani 001; Manuel Mazo Jr. 002; Alessandro Abate (CDC, 2014)

Bisimilar symbolic models for stochastic control systems without state-space discretization. - Majid Zamani 001; Ilya Tkachev; Alessandro Abate (HSCC, 2014)

Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles. - Wanli Chang 001; Alma Pröbstl; Dip Goswami; Majid Zamani 001; Samarjit Chakraborty (RTSS, 2014)

Symbolic Models for Networked Control Systems. - Majid Zamani 001; Manuel Mazo Jr. 002; Alessandro Abate (CoRR, 2014)

Approximately bisimilar symbolic models for randomly switched stochastic systems. - Majid Zamani 001; Alessandro Abate (Syst. Control. Lett., 2014)

Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. - Majid Zamani 001; Peyman Mohajerin Esfahani; Rupak Majumdar; Alessandro Abate; John Lygeros (IEEE Trans. Autom. Control., 2014)

Bisimilar symbolic models for stochastic switched systems: A discretization-free approach. - Majid Zamani 001; Antoine Girard (ACC, 2015)

Construction of approximations of stochastic control systems: A compositional approach. - Majid Zamani 001; Matthias Rungger; Peyman Mohajerin Esfahani (CDC, 2015)

Reliable CPS Design for Mitigating Semiconductor and Battery Aging in Electric Vehicles. - Wanli Chang 001; Alma Pröbstl; Dip Goswami; Majid Zamani 001; Samarjit Chakraborty (CPSNA, 2015)

Compositional construction of approximate abstractions. - Matthias Rungger; Majid Zamani 001 (HSCC, 2015)

Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. - Majid Zamani 001; Alessandro Abate; Antoine Girard (Autom., 2015)

On a notion of estimation entropy for stochastic hybrid systems. - Asad Ullah Awan; Majid Zamani 001 (Allerton, 2016)

On incremental stability of time-delayed stochastic control systems. - Pushpak Jagtap; Majid Zamani 001 (Allerton, 2016)

Symbolic models of networked control systems: A feedback refinement relation approach. - Mahmoud Khaled; Matthias Rungger; Majid Zamani 001 (Allerton, 2016)

Backstepping design for incremental stability of stochastic Hamiltonian systems. - Pushpak Jagtap; Majid Zamani 001 (CDC, 2016)

Symbolic synthesis with average performance guarantees. - Matthias Rungger; Gunther Reissig; Majid Zamani 001 (CDC, 2016)

Efficient HVAC controls: A symbolic approach. - Ondrej Holub; Majid Zamani 001; Alessandro Abate (ECC, 2016)

Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. - Majid Zamani 001; Soumyajit Dey; Sajid Mohamed; Pallab Dasgupta; Manuel Mazo Jr. 002 (FORMATS, 2016)

SCOTS: A Tool for the Synthesis of Symbolic Controllers. - Matthias Rungger; Majid Zamani 001 (HSCC, 2016)

Compositional abstraction of interconnected control systems under dynamic interconnection topology. - Asad Ullah Awan; Majid Zamani 001 (CDC, 2017)

Compositional abstractions of interconnected discrete-time stochastic control systems. - Abolfazl Lavaei; Sadegh Esmaeil Zadeh Soudjani; Rupak Majumdar; Majid Zamani 001 (CDC, 2017)

On the invariance feedback entropy of linear perturbed control systems. - Matthias Rungger; Majid Zamani 001 (CDC, 2017)

Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach. - Kuize Zhang; Majid Zamani 001 (CDC, 2017)

Invariance Feedback Entropy of Nondeterministic Control Systems. - Matthias Rungger; Majid Zamani 001 (HSCC, 2017)

Application and system-level software fault tolerance through full system restarts. - Fardin Abdi; Rohan Tabish; Matthias Rungger; Majid Zamani 001; Marco Caccamo (ICCPS, 2017)

QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. - Pushpak Jagtap; Majid Zamani 001 (QEST, 2017)

Automated Synthesis of Infinite Dimensional Stochastic Hybrid Systems. - Pushpak Jagtap; Majid Zamani 001 (CoRR, 2017)

Invariance Feedback Entropy of Uncertain Control Systems. - Matthias Rungger; Majid Zamani 001 (CoRR, 2017)

From dissipativity theory to compositional synthesis of symbolic models. - Abdalla Swikir; Antoine Girard; Majid Zamani 001 (CoRR, 2017)

Quantitative Implementation Strategies for Safety Controllers. - Philipp J. Meyer; Matthias Rungger; Michael Luttenberger; Javier Esparza; Majid Zamani 001 (CoRR, 2017)

Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). - Calin Belta; Rupak Majumdar; Majid Zamani 001; Matthias Rungger (Dagstuhl Reports, 2017)

Towards scalable synthesis of stochastic control systems. - Majid Zamani 001; Ilya Tkachev; Alessandro Abate (Discret. Event Dyn. Syst., 2017)

Approximations of Stochastic Hybrid Systems: A Compositional Approach. - Majid Zamani 001; Matthias Rungger; Peyman Mohajerin Esfahani (IEEE Trans. Autom. Control., 2017)

ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. - Fabian Immler; Matthias Althoff; Xin Chen 002; Chuchu Fan; Goran Frehse; Niklas Kochdumper; Yangge Li; Sayan Mitra; Mahendra Singh Tomar; Majid Zamani 001 (ARCH@ADHS, 2018)

Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach. - Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (ADHS, 2018)

Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. - Adnane Saoud; Pushpak Jagtap; Majid Zamani 001; Antoine Girard (ADHS, 2018)

Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies. - Asad Ullah Awan; Majid Zamani 001 (ACC, 2018)

Hierarchical Control via an Approximate Aggregate Manifold. - Stanley W. Smith; Murat Arcak; Majid Zamani 001 (ACC, 2018)

Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. - Pushpak Jagtap; Sadegh Soudjani; Majid Zamani 001 (ATVA, 2018)

Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach. - Asad Ullah Awan; Samuel Coogan 001; Majid Zamani 001 (CDC, 2018)

Compositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approach. - Asad Ullah Awan; Majid Zamani 001 (CDC, 2018)

Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case. - Navid Noroozi; Abdalla Swikir; Fabian R. Wirth; Majid Zamani 001 (ECC, 2018)

Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case. - Navid Noroozi; Fabian R. Wirth; Majid Zamani 001 (ECC, 2018)

Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. - Eric S. Kim; Murat Arcak; Mahmoud Khaled; Majid Zamani 001 (HSCC, 2018)

Constructing Control System Abstractions from Modular Components. - Eric S. Kim; Murat Arcak; Majid Zamani 001 (HSCC, 2018)

From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. - Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (HSCC, 2018)

Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs. - Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (HSCC, 2018)

Accurate reachability analysis of uncertain nonlinear systems. - Matthias Rungger; Majid Zamani 001 (HSCC, 2018)

Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach. - Abdalla Swikir; Antoine Girard; Majid Zamani 001 (HSCC, 2018)

SENSE: Abstraction-Based Synthesis of Networked Control Systems. - Mahmoud Khaled; Matthias Rungger; Majid Zamani 001 (MeTRiD@ETAPS, 2018)

Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps. - Pushpak Jagtap; Majid Zamani 001 (IEEE Trans. Autom. Control., 2018)

Compositional Construction of Approximate Abstractions of Interconnected Control Systems. - Matthias Rungger; Majid Zamani 001 (IEEE Trans. Control. Netw. Syst., 2018)

Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach. - Majid Zamani 001; Murat Arcak (IEEE Trans. Control. Netw. Syst., 2018)

Symbolic Abstractions of Networked Control Systems. - Majid Zamani 001; Manuel Mazo Jr. 002; Mahmoud Khaled; Alessandro Abate (IEEE Trans. Control. Netw. Syst., 2018)

Compositional synthesis of almost maximally permissible safety controllers. - Siyuan Liu 002; Majid Zamani 001 (ACC, 2019)

Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. - Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (NSV@CAV, 2019)

Verification of Switched Stochastic Systems via Barrier Certificates. - Mahathi Anand; Pushpak Jagtap; Majid Zamani 001 (CDC, 2019)

Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations. - Junyao Hou; Xiang Yin 003; Shaoyuan Li; Majid Zamani 001 (CDC, 2019)

Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions. - Abolfazl Lavaei; Majid Zamani 001 (CDC, 2019)

Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions. - Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (ECC, 2019)

Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems. - Ameneh Nejati; Sadegh Soudjani; Majid Zamani 001 (ECC, 2019)

Compositional Abstractions of Interconnected Discrete-Time Switched Systems. - Abdalla Swikir; Majid Zamani 001 (ECC, 2019)

Sandboxing Controllers for Stochastic Cyber-Physical Systems. - Bingzhuo Zhong; Majid Zamani 001; Marco Caccamo (FORMATS, 2019)

pFaces: an acceleration ecosystem for symbolic control. - Mahmoud Khaled; Majid Zamani 001 (HSCC, 2019)

Verification and synthesis of interconnected embedded control systems under timing contracts. - Mohammad Al Khatib; Majid Zamani 001 (HSCC, 2019)

Towards approximate opacity of cyber-physical system: WIP abstract. - Xiang Yin 003; Majid Zamani 001 (ICCPS, 2019)

Compositional finite abstractions for large-scale stochastic switched systems. - Abolfazl Lavaei; Majid Zamani 001 (SNR, 2019)

Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach. - Mahmoud Khaled; Eric S. Kim; Murat Arcak; Majid Zamani 001 (TACAS (2), 2019)

Compositional construction of infinite abstractions for networks of stochastic control systems. - Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (Autom., 2019)

Compositional synthesis of finite abstractions for networks of systems: A small-gain approach. - Abdalla Swikir; Majid Zamani 001 (Autom., 2019)

Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach. - Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (CoRR, 2019)

On Approximate Opacity of Cyber-Physical Systems. - Xiang Yin 003; Majid Zamani 001 (CoRR, 2019)

Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations. - Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (CoRR, 2019)

Compositional Synthesis of Symbolic Models for Networks of Switched Systems. - Abdalla Swikir; Majid Zamani 001 (IEEE Control. Syst. Lett., 2019)

Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach. - Kuize Zhang; Xiang Yin 003; Majid Zamani 001 (IEEE Trans. Autom. Control., 2019)

Controller synthesis for interconnected systems using parametric assume-guarantee contracts. - Mohammad Al Khatib; Majid Zamani 001 (ACC, 2020)

On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems. - Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (ACC, 2020)

ARCH-COMP20 Category Report: Stochastic Models. - Alessandro Abate; Henk A. P. Blom; Nathalie Cauchi; Joanna Delicaris; Arnd Hartmanns; Mahmoud Khaled; Abolfazl Lavaei; Carina Pilch; Anne Remke; Stefan Schupp; Fedor Shmarov; Sadegh Soudjani; et al. (ARCH, 2020)

PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. - Alex Devonport; Mahmoud Khaled; Murat Arcak; Majid Zamani 001 (CAV (1), 2020)

AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. - Abolfazl Lavaei; Mahmoud Khaled; Sadegh Soudjani; Majid Zamani 001 (CAV (2), 2020)

Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. - Pushpak Jagtap; George J. Pappas; Majid Zamani 001 (CDC, 2020)

Compositional Verification of Initial-State Opacity for Switched Systems. - Siyuan Liu 002; Abdalla Swikir; Majid Zamani 001 (CDC, 2020)

Construction of continuous abstractions for discrete-time time-delay systems. - Mobin Shahamat; Javad Askari; Abdalla Swikir; Navid Noroozi; Majid Zamani 001 (CDC, 2020)

Compositional Construction of Abstractions for Infinite Networks of Switched Systems. - Maryam Sharifi; Abdalla Swikir; Navid Noroozi; Majid Zamani 001 (CDC, 2020)

Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks. - Shuo Yang 007; Xiang Yin 003; Shaoyuan Li; Majid Zamani 001 (CDC, 2020)

dtControl: decision tree learning algorithms for controller representation. - Pranav Ashok; Mathias Jackermeier; Pushpak Jagtap; Jan Kretínský; Maximilian Weininger; Majid Zamani 001 (HSCC, 2020)

Compositional construction of control barrier functions for interconnected control systems. - Pushpak Jagtap; Abdalla Swikir; Majid Zamani 001 (HSCC, 2020)

AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. - Abolfazl Lavaei; Mahmoud Khaled; Sadegh Soudjani; Majid Zamani 001 (HSCC, 2020)

Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. - Abolfazl Lavaei; Fabio Somenzi; Sadegh Soudjani; Ashutosh Trivedi 001; Majid Zamani 001 (ICCPS, 2020)

Symbolic models for retarded jump-diffusion systems. - Pushpak Jagtap; Majid Zamani 001 (Autom., 2020)

Compositional abstraction-based synthesis for networks of stochastic switched systems. - Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (Autom., 2020)

Approximate abstractions of control systems with an application to aggregation. - Stanley W. Smith; Murat Arcak; Majid Zamani 001 (Autom., 2020)

Numerical Estimation of Invariance Entropy for Nonlinear Control Systems. - Mahendra Singh Tomar; Christoph Kawan; Pushpak Jagtap; Majid Zamani 001 (CoRR, 2020)

Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach. - Ameneh Nejati; Majid Zamani 001 (CoRR, 2020)

Data-Driven Verification under Signal Temporal Logic Constraints. - Ali Salamati; Sadegh Soudjani; Majid Zamani 001 (CoRR, 2020)

Verification of Initial-State Opacity for Switched Systems: A Compositional Approach. - Siyuan Liu 002; Abdalla Swikir; Majid Zamani 001 (CoRR, 2020)

Output-Feedback Symbolic Control. - Mahmoud Khaled; Kuize Zhang; Majid Zamani 001 (CoRR, 2020)

Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. - Ameneh Nejati; Sadegh Soudjani; Majid Zamani 001 (IEEE Control. Syst. Lett., 2020)

Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems. - Mahendra Singh Tomar; Majid Zamani 001 (IEEE Control. Syst. Lett., 2020)

Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. - Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (IEEE Trans. Autom. Control., 2020)

From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems. - Asad Ullah Awan; Majid Zamani 001 (IEEE Trans. Control. Netw. Syst., 2020)

Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. - Pushpak Jagtap; Fardin Abdi; Matthias Rungger; Majid Zamani 001; Marco Caccamo (ACM Trans. Cyber Phys. Syst., 2020)

dtControl: decision tree learning algorithms for controller representation (HSCC 20 Repeatability Evaluation Package). - Pranav Ashok; Mathias Jackermeier; Pushpak Jagtap; Jan Kretínský; Maximilian Weininger; Majid Zamani 001 (Zenodo, 2020)

Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. - Ameneh Nejati; Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (ADHS, 2021)

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. - Ali Salamati; Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (ADHS, 2021)

Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. - Mahathi Anand; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (CDC, 2021)

Construction of ISS Lyapunov functions for infinite networks of ISS systems. - Christoph Kawan; Andrii Mironchenko; Majid Zamani 001 (CDC, 2021)

A small-gain approach to ISS of infinite networks with homogeneous gain operators. - Andrii Mironchenko; Navid Noroozi; Christoph Kawan; Majid Zamani 001 (CDC, 2021)

Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications. - Yifan Xie; Xiang Yin 003; Shaoyuan Li; Majid Zamani 001 (CDC, 2021)

Formal verification of hyperproperties for control systems. - Mahathi Anand; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (CAADCPS@CPSIoTWeek, 2021)

Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems. - Abolfazl Lavaei; Bingzhuo Zhong; Marco Caccamo; Majid Zamani 001 (CAADCPS@CPSIoTWeek, 2021)

OmegaThreads: symbolic controller design for ω-regular objectives. - Mahmoud Khaled; Majid Zamani 001 (HSCC, 2021)

Formal safety verification of unknown continuous-time systems: a data-driven approach. - Abolfazl Lavaei; Ameneh Nejati; Pushpak Jagtap; Majid Zamani 001 (HSCC, 2021)

Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. - Abolfazl Lavaei; Ameneh Nejati; Sadegh Soudjani; Majid Zamani 001 (HSCC, 2021)

Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. - Siyuan Liu 002; Majid Zamani 001 (Autom., 2021)

Data-driven verification of stochastic linear systems with signal temporal logic constraints. - Ali Salamati; Sadegh Soudjani; Majid Zamani 001 (Autom., 2021)

Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems. - Maryam Sharifi; Abdalla Swikir; Navid Noroozi; Majid Zamani 001 (CoRR, 2021)

Symbolic Models for Infinite Networks of Control Systems: A Compositional Approach. - Siyuan Liu 002; Navid Noroozi; Majid Zamani 001 (CoRR, 2021)

Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems. - Bingzhuo Zhong; Abolfazl Lavaei; Hongpeng Cao; Majid Zamani 001; Marco Caccamo (CoRR, 2021)

Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications. - Mahathi Anand; Abolfazl Lavaei; Majid Zamani 001 (CoRR, 2021)

Formal Verification of Control Systems against Hyperproperties via Barrier Certificates. - Mahathi Anand; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (CoRR, 2021)

Formal Synthesis of Controllers for Uncertain Linear Systems against ω-Regular Properties: A Set-based Approach. - Bingzhuo Zhong; Majid Zamani 001; Marco Caccamo (CoRR, 2021)

Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. - Niloofar Jahanshahi; Pushpak Jagtap; Majid Zamani 001 (IEEE Control. Syst. Lett., 2021)

Verification of Approximate Opacity via Barrier Certificates. - Siyuan Liu 002; Majid Zamani 001 (IEEE Control. Syst. Lett., 2021)

Symbolic Models for a Class of Impulsive Systems. - Abdalla Swikir; Antoine Girard; Majid Zamani 001 (IEEE Control. Syst. Lett., 2021)

Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems. - Mahmoud Khaled; Majid Zamani 001 (IEEE Des. Test, 2021)

Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. - Ameneh Nejati; Sadegh Soudjani; Majid Zamani 001 (Eur. J. Control, 2021)

ISS small-gain criteria for infinite networks with linear gain functions. - Andrii Mironchenko; Navid Noroozi; Christoph Kawan; Majid Zamani 001 (Syst. Control. Lett., 2021)

Formal Synthesis of Stochastic Systems via Control Barrier Certificates. - Pushpak Jagtap; Sadegh Soudjani; Majid Zamani 001 (IEEE Trans. Autom. Control., 2021)

A Lyapunov-Based Small-Gain Theorem for Infinite Networks. - Christoph Kawan; Andrii Mironchenko; Abdalla Swikir; Navid Noroozi; Majid Zamani 001 (IEEE Trans. Autom. Control., 2021)

Invariance Feedback Entropy of Uncertain Control Systems. - Mahendra Singh Tomar; Matthias Rungger; Majid Zamani 001 (IEEE Trans. Autom. Control., 2021)

On Approximate Opacity of Cyber-Physical Systems. - Xiang Yin 003; Majid Zamani 001; Siyuan Liu 002 (IEEE Trans. Autom. Control., 2021)

Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach. - Adnane Saoud; Pushpak Jagtap; Majid Zamani 001; Antoine Girard (IEEE Trans. Control. Netw. Syst., 2021)

On a notion of entropy for reachability properties. - Mahendra Singh Tomar; Majid Zamani 001 (ACC, 2022)

A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems. - Bingzhuo Zhong; Majid Zamani 001; Marco Caccamo (ACC, 2022)

Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach. - Bingzhuo Zhong; Majid Zamani 001; Marco Caccamo (CCTA, 2022)

Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics*. - Abolfazl Lavaei; Peyman Mohajerin Esfahani; Majid Zamani 001 (CDC, 2022)

Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. - Siyuan Liu 002; Adnane Saoud; Pushpak Jagtap; Dimos V. Dimarogonas; Majid Zamani 001 (CDC, 2022)

Verification of approximate infinite-step opacity using barrier certificates. - Shadi Tasdighi Kalat; Siyuan Liu 002; Majid Zamani 001 (ECC, 2022)

k-Inductive Barrier Certificates for Stochastic Systems. - Mahathi Anand; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (HSCC, 2022)

Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. - Bingzhuo Zhong; Abolfazl Lavaei; Majid Zamani 001; Marco Caccamo (HSCC, 2022)

Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates. - Ameneh Nejati; Bingzhuo Zhong; Marco Caccamo; Majid Zamani 001 (L4DC, 2022)

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach. - Ali Salamati; Majid Zamani 001 (L4DC, 2022)

Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning. - Rameez Wajid; Asad Ullah Awan; Majid Zamani 001 (L4DC, 2022)

Secure-by-construction synthesis of cyber-physical systems. - Siyuan Liu 002; Ashutosh Trivedi 001; Xiang Yin 003; Majid Zamani 001 (Annu. Rev. Control., 2022)

Automated verification and synthesis of stochastic hybrid systems: A survey. - Abolfazl Lavaei; Sadegh Soudjani; Alessandro Abate; Majid Zamani 001 (Autom., 2022)

Compositional construction of control barrier functions for continuous-time stochastic hybrid systems. - Ameneh Nejati; Sadegh Soudjani; Majid Zamani 001 (Autom., 2022)

Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture. - Bingzhuo Zhong; Hongpeng Cao; Majid Zamani 001; Marco Caccamo (CoRR, 2022)

Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. - Abolfazl Lavaei; Mateo Perez; Milad Kazemi; Fabio Somenzi; Sadegh Soudjani; Ashutosh Trivedi 001; Majid Zamani 001 (CoRR, 2022)

Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems. - Junyao Hou; Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (CoRR, 2022)

Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates. - Shadi Tasdighi Kalat; Siyuan Liu 002; Majid Zamani 001 (IEEE Control. Syst. Lett., 2022)

A Scenario Approach for Synthesizing k-Inductive Barrier Certificates. - Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (IEEE Control. Syst. Lett., 2022)

Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach. - Navid Noroozi; Ali Salamati; Majid Zamani 001 (IEEE Control. Syst. Lett., 2022)

Modular Computation of Restoration Entropy for Networks of Systems: A Dissipativity Approach. - Mahendra Singh Tomar; Majid Zamani 001 (IEEE Control. Syst. Lett., 2022)

A small-gain theorem for set stability of infinite networks: Distributed observation and ISS for time-varying networks. - Navid Noroozi; Andrii Mironchenko; Christoph Kawan; Majid Zamani 001 (Eur. J. Control, 2022)

From Dissipativity Theory to Compositional Construction of Control Barrier Certificates. - Ameneh Nejati; Majid Zamani 001 (Leibniz Trans. Embed. Syst., 2022)

Numerical over-approximation of invariance entropy via finite abstractions. - Mahendra Singh Tomar; Christoph Kawan; Majid Zamani 001 (Syst. Control. Lett., 2022)

From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. - Mahathi Anand; Abolfazl Lavaei; Majid Zamani 001 (IEEE Trans. Autom. Control., 2022)

From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems. - Abolfazl Lavaei; Majid Zamani 001 (IEEE Trans. Autom. Control., 2022)

Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games. - Bingzhuo Zhong; Hongpeng Cao; Majid Zamani 001; Marco Caccamo (AAAI, 2023)

Abstraction-Based Synthesis of Controllers for Approximate Opacity. - Junyao Hou; Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (CDC, 2023)

Data-Driven Synthesis of Safety Controllers for Partially-Observable Systems with Unknown Models. - Niloofar Jahanshahi; Majid Zamani 001 (CDC, 2023)

A Data-Driven Approach to Approximate Opacity Verification. - Vishnu Murali; Shadi Tasdighi Kalat; Majid Zamani 001 (CDC, 2023)

Transfer Learning for Barrier Certificates. - Alireza Nadali; Ashutosh Trivedi 001; Majid Zamani 001 (CDC, 2023)

Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems. - Bingzhuo Zhong; Siyuan Liu 002; Marco Caccamo; Majid Zamani 001 (CDC, 2023)

Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations. - Bingzhuo Zhong; Abolfazl Lavaei; Majid Zamani 001; Marco Caccamo (Autom., 2023)

Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems. - Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (CoRR, 2023)

Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees. - Daniel Ajeleye; Abolfazl Lavaei; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning. - Asad Ullah Awan; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

Abstraction-Based Verification of Approximate Preopacity for Control Systems. - Junyao Hou; Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

Constructing MDP Abstractions Using Data With Formal Guarantees. - Abolfazl Lavaei; Sadegh Soudjani; Emilio Frazzoli; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach. - Ameneh Nejati; Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates. - Ameneh Nejati; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

Safety Verification of Stochastic Systems: A Repetitive Scenario Approach. - Ali Salamati; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

Toward Minimal Data Rate Enforcing Regular Safety Properties: An Invariance Entropy Approach. - Mahendra Singh Tomar; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

A Lyapunov-Based ISS Small-Gain Theorem for Infinite Networks of Nonlinear Systems. - Christoph Kawan; Andrii Mironchenko; Majid Zamani 001 (IEEE Trans. Autom. Control., 2023)

Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. - Niloofar Jahanshahi; Abolfazl Lavaei; Majid Zamani 001 (IEEE Trans. Control. Netw. Syst., 2023)

Abstractions of networks of stochastic hybrid systems under randomly switched topologies: A compositional approach. - Asad Ullah Awan; Majid Zamani 001 (Syst. Control. Lett., 2023)

Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. - Ameneh Nejati; Abolfazl Lavaei; Pushpak Jagtap; Sadegh Soudjani; Majid Zamani 001 (IEEE Trans. Autom. Control., 2023)

A Lyapunov-Based Small-Gain Theory for Infinite Networks via Infinite-Dimensional Gain Operators. - Christoph Kawan; Majid Zamani 001 (SIAM J. Control. Optim., 2023)

A Framework for Output-Feedback Symbolic Control. - Mahmoud Khaled; Kuize Zhang; Majid Zamani 001 (IEEE Trans. Autom. Control., 2023)

Neural Closure Certificates. - Alireza Nadali; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (AAAI, 2024)

Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks. - Mahathi Anand; Majid Zamani 001 (ADHS, 2024)

Compositional Synthesis of Controllers via Co-Büchi Barrier Certificates. - Felipe Galarza-Jimenez; Vishnu Murali; Majid Zamani 001 (ADHS, 2024)

Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model. - Alireza Nadali; Ashutosh Trivedi 001; Majid Zamani 001 (ADHS, 2024)

Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations. - Bingzhuo Zhong; Murat Arcak; Majid Zamani 001 (ADHS, 2024)

Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates. - Bingzhuo Zhong; Weijie Dong; Xiang Yin 003; Majid Zamani 001 (ADHS, 2024)

Falsification via Barrier Certificates. - Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (ACC, 2024)

Path-Complete Barrier Functions for Safety of Switched Linear Systems. - Mahathi Anand; Raphaël M. Jungers; Majid Zamani 001; Frank Allgöwer (CDC, 2024)

Verification of Approximate Prognosability via Barrier Certificates. - Weijie Dong; Bingzhuo Zhong; Xiang Yin 003; Majid Zamani 001 (CDC, 2024)

Barrier Certificates for Weighted Automata-based Specifications. - Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (CDC, 2024)

Closure Certificates. - Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (HSCC, 2024)

Decntr: Optimizing Safety and Schedulability with Multi-Mode Control and Resource Allocation Co-Design. - Robert Gifford; Felipe Galarza-Jimenez; Linh Thi Xuan Phan; Majid Zamani 001 (RTAS, 2024)

Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models. - Paul Griffioen; Bingzhuo Zhong; Murat Arcak; Majid Zamani 001; Marco Caccamo (CoRR, 2024)

Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach. - Bingzhuo Zhong; Weijie Dong; Xiang Yin 003; Majid Zamani 001 (CoRR, 2024)

Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach. - Daniel Ajeleye; Majid Zamani 001 (CoRR, 2024)

Transfer Learning for Control Systems via Neural Simulation Relations. - Alireza Nadali; Bingzhuo Zhong; Ashutosh Trivedi 001; Majid Zamani 001 (CoRR, 2024)

Data-Driven Controller Synthesis via Co-Büchi Barrier Certificates With Formal Guarantees. - Daniel Ajeleye; Majid Zamani 001 (IEEE Control. Syst. Lett., 2024)

Co-Büchi Control Barrier Certificates for Stochastic Control Systems. - Daniel Ajeleye; Majid Zamani 001 (IEEE Control. Syst. Lett., 2024)

Compositional Verification for Large-Scale Systems via Closure Certificates. - Felipe Galarza-Jimenez; Vishnu Murali; Majid Zamani 001 (IEEE Control. Syst. Lett., 2024)

Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates. - Mohammed Adib Oumer; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (IEEE Control. Syst. Lett., 2024)

Data-driven verification and synthesis of stochastic systems via barrier certificates. - Ali Salamati; Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (Autom., 2024)

Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach. - Bingzhuo Zhong; Majid Zamani 001; Marco Caccamo (IEEE Trans. Autom. Control., 2024)

Verification of Hyperproperties for Dynamical Systems via Barrier Certificates. - Mahathi Anand; Vishnu Murali; Ashutosh Trivedi 001; Majid Zamani 001 (IEEE Trans. Autom. Control., 2024)

Verification of Discrete-Time Systems against Timed Automata Specifications. - Asad Ullah Awan; Vishnu Murali; Majid Zamani 001 (ACC, 2025)

Stochastic Neural Simulation Relations for Control Transfer. - Alireza Nadali; Ashutosh Trivedi 001; Majid Zamani 001 (NeuS, 2025)

Neural Barrier Certificates for Monotone Systems. - Amirreza Alavi; Alireza Nadali; Majid Zamani 001; Saber Jafarpour (IEEE Control. Syst. Lett., 2025)

Symbolic Control for Autonomous Docking of Marine Surface Vessels. - Elizabeth Dietrich; Emir Cem Gezer; Bingzhuo Zhong; Murat Arcak; Majid Zamani 001; Roger Skjetne; Asgeir Johan Sørensen (CoRR, 2025)

On the Completeness and Ordering of Path-Complete Barrier Functions. - Mahathi Anand; Raphaël M. Jungers; Majid Zamani 001; Frank Allgöwer (CoRR, 2025)

Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes. - Mohammed Adib Oumer; Amr Alanwar 001; Majid Zamani 001 (CoRR, 2025)

k-Inductive and Interpolation-Inspired Barrier Certificates for Stochastic Dynamical Systems. - Mohammed Adib Oumer; Vishnu Murali; Majid Zamani 001 (CoRR, 2025)

On Approximate Opacity of Stochastic Control Systems. - Siyuan Liu 002; Xiang Yin 003; Dimos V. Dimarogonas; Majid Zamani 001 (IEEE Trans. Autom. Control., 2025)

Secure-by-Construction Synthesis for Control Systems. - Bingzhuo Zhong; Siyuan Liu 002; Marco Caccamo; Majid Zamani 001 (IEEE Trans. Autom. Control., 2025)

Control Closure Certificates. - Vishnu Murali; Mohammed Adib Oumer; Majid Zamani 001 (CoRR, 2025)

Monotone Neural Control Barrier Certificates. - Alireza Nadali; Ashutosh Trivedi 001; Majid Zamani 001; Saber Jafarpour (CoRR, 2025)

Physics-Informed Reward Machines. - Daniel Ajeleye; Ashutosh Trivedi 001; Majid Zamani 001 (CoRR, 2025)