research overview
- Zamani's research interests includes formal verification and control of cyber-physical systems, autonomous systems, hybrid systems, embedded control software synthesis, information-based control, and networked control systems.
- Contact Info
Zamani, Majid
Positions
- Associate Professor, Electrical, Computer and Energy Engineering (ECEE)
- Associate Professor, Computer Science
Research Areas
Research
keywords
- Formal synthesis of (stochastic) hybrid systems, Compositional analysis and synthesis of interconnected systems, Formal methods approaches to robotic and autonomous systems, Information-based control, Automated synthesis of networked control systems, Data-driven verification and synthesis of (stochastic) hybrid systems
Publications
selected publications
-
book
-
Numerical Software Verification.
Ed. Zamani, Majid.
2019
-
Numerical Software Verification.
Ed. Zamani, Majid.
2019
-
chapter
-
On Choice of Loss Functions for Neural Control Barrier Certificates.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
468-486.
2026
-
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
101-109.
2019
-
Sandboxing Controllers for Stochastic Cyber-Physical Systems.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
247-264.
2019
-
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
265-281.
2019
-
QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
309-313.
2017
-
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
85-101.
2016
-
On Choice of Loss Functions for Neural Control Barrier Certificates.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
468-486.
2026
-
conference proceeding
-
Control Closure Certificates.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
387-407.
2026
-
Backward Control Barrier Certificates.
5961-5966.
2025
-
Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes.
3913-3918.
2025
-
Data-Driven Verification of Dynamical Systems via Closure Certificates.
1350-1355.
2025
-
Interpolation-Inspired Closure Certificates.
6939-6944.
2025
-
Neural Barrier Certificates for Stochastic Control Systems.
7695-7700.
2025
-
Trajectory-based Barrier Certificates for Monotone Systems.
5831-5836.
2025
-
On Choice of Loss Functions for Neural Control Barrier Certificates
2025
- Stochastic Neural Simulation Relations for Transferring Control under Uncertainty 2025
-
Barrier Certificates for Weighted Automata-based Specifications.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
5191-5196.
2024
-
Path-Complete Barrier Functions for Safety of Switched Linear Systems.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
7423-7428.
2024
-
Verification of Approximate Prognosability via Barrier Certificates.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
3693-3698.
2024
- Falsification via Barrier Certificates. Proceedings of the ... American Control Conference. American Control Conference. 4657-4662. 2024
-
Compositional Synthesis of Controllers via Co-Biichi Barrier Certificates.
IFAC-PapersOnLine.
57-62.
2024
-
Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks.
IFAC-PapersOnLine.
171-176.
2024
-
Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations.
IFAC-PapersOnLine.
13-18.
2024
-
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model.
IFAC-PapersOnLine.
129-134.
2024
-
Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates.
IFAC-PapersOnLine.
81-86.
2024
-
Closure Certificates.
1-11.
2024
-
DECNTR: Optimizing Safety and Schedulability with Multi-Mode Control and Resource Allocation Co-Design.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS.
306-319.
2024
- Neural Closure Certificates. Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence. 21446-21453. 2024
-
A data-driven approach to approximate opacity verification.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
5085-5090.
2023
-
Abstraction-Based Synthesis of Controllers for Approximate Opacity.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
7930-7936.
2023
-
Data-Driven Synthesis of Safety Controllers for Partially-Observable Systems with Unknown Models.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
1052-1057.
2023
-
Towards Trustworthy AI: Sandboxing AI-based Unverified Controllers for Safe and Secure Cyber-Physical Systems.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
1833-1840.
2023
- Transfer Learning for Barrier Certificates. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 8000-8005. 2023
-
Formally Verified Neural Network Control Barrier Certificates for Unknown Systems.
IFAC-PapersOnLine.
2431-2436.
2023
-
Secure-by-Construction Controller Synthesis via Control Barrier Functions.
IFAC-PapersOnLine.
239-245.
2023
-
Synthesis of Controllers for Partially-Observable Systems: A Data-Driven Approach.
IFAC-PapersOnLine.
5525-5530.
2023
- Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games. Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence. 15340-15349. 2023
-
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
2184-2189.
2022
-
Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
7296-7301.
2022
-
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach.
1278-1284.
2022
- Verification of approximate infinite-step opacity using barrier certificates. 175-180. 2022
- Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates 2022
- Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach 2022
- Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning 2022
- A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems. Proceedings of the ... American Control Conference. American Control Conference. 1575-1581. 2022
- On a notion of entropy for reachability properties. Proceedings of the ... American Control Conference. American Control Conference. 781-786. 2022
-
k-Inductive Barrier Certificates for Stochastic Systems
2022
-
Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach.
11-12.
2022
-
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations
2022
-
A small-gain approach to ISS of infinite networks with homogeneous gain operators.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
4817-4822.
2021
-
Construction of ISS Lyapunov functions for infinite networks of ISS systems.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
4811-4816.
2021
-
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
1314-1320.
2021
-
Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
7015-7021.
2021
-
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems.
IFAC-PapersOnLine.
277-282.
2021
-
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates.
IFAC-PapersOnLine.
7-12.
2021
-
Verification of Approximate Opacity via Barrier Certificates.
Proceedings of the ... American Control Conference. American Control Conference.
764-769.
2021
-
OmegaThreads: Symbolic Controller Design for omega-regular Objectives
2021
-
Poster Abstract: OmegaThreads: Symbolic Controller Design for omega-regular Objectives
2021
-
Poster: Estimating Infinitesimal Generators of Stochastic Systems with Formal Error Bounds: A Data-Driven Approach
2021
-
Poster: Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach
2021
-
Formal Verification of Hyperproperties for Control Systems.
29-30.
2021
-
Towards Trustworthy AI: Safe-visor Architecture for Uncertified Controllers in Stochastic Cyber-Physical Systems.
7-8.
2021
- Compositional Construction of Abstractions for Infinite Networks of Switched Systems. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 476-481. 2020
-
Compositional Verification of Initial-State Opacity for Switched Systems.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
2146-2151.
2020
- Construction of continuous abstractions for discrete-time time-delay systems. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 881-886. 2020
- Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 3699-3704. 2020
- Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 4460-4466. 2020
-
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
461-474.
2020
-
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
556-568.
2020
-
Compositional Construction of Control Barrier Certificates for Large-Scale Interconnected Stochastic Systems.
IFAC-PapersOnLine.
1862-1867.
2020
-
Compositional Synthesis of Symbolic Models for Infinite Networks.
IFAC-PapersOnLine.
1868-1873.
2020
-
Synthesis of Stochastic Systems with Partial Information via Control Barrier Functions.
IFAC-PapersOnLine.
2441-2446.
2020
-
Controller synthesis for interconnected systems using parametric assume-guarantee contracts.
Proceedings of the ... American Control Conference. American Control Conference.
5419-5424.
2020
-
On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems.
Proceedings of the ... American Control Conference. American Control Conference.
5413-5418.
2020
-
Compositional Construction of Control Barrier Functions for Interconnected Control Systems
2020
-
Demo: dtControl: Decision Tree Learning Algorithms for Controller Representation
2020
-
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.
98-107.
2020
-
Poster: AMYTISS: A Parallelized Tool on Automated Controller Synthesis for Large-Scale Stochastic Systems
2020
-
dtControl: Decision Tree Learning Algorithms for Controller Representation
2020
- AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. 1-2. 2020
-
Set stability of infinite networks: ISS small-gain theory and its applications.
IFAC-PapersOnLine.
72-77.
2020
- Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 7653-7658. 2019
- Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 2574-2579. 2019
- Verification of Switched Stochastic Systems via Barrier Certificates. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 4373-4378. 2019
- Compositional verification of large-scale stochastic systems 2019
-
Compositional synthesis of almost maximally permissible safety controllers.
Proceedings of the ... American Control Conference. American Control Conference.
1678-1683.
2019
-
Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems.
3212-3217.
2019
-
Compositional Abstractions of Interconnected Discrete-Time Switched Systems.
1251-1256.
2019
-
Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions.
2802-2807.
2019
-
Compositional Construction of Finite MDPs for Large-Scale Stochastic Switched Systems: A Dissipativity Approach.
IFAC-PapersOnLine.
31-36.
2019
-
Towards Approximate Opacity of Cyber-Physical System.
310-311.
2019
-
Verification and synthesis of interconnected embedded control systems under timing contracts.
208-217.
2019
-
pFaces: An Acceleration Ecosystem for Symbolic Control.
252-257.
2019
-
Compositional Finite Abstractions for Large-Scale Stochastic Switched Systems.
3-5.
2019
- Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 3783-3788. 2018
- Compositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approach. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 3789-3794. 2018
-
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
177-193.
2018
-
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems.
IFAC-PapersOnLine.
13-18.
2018
-
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach.
IFAC-PapersOnLine.
265-270.
2018
- Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies. Proceedings of the ... American Control Conference. American Control Conference. 1586-1591. 2018
- Hierarchical Control via an Approximate Aggregate Manifold. Proceedings of the ... American Control Conference. American Control Conference. 2378-2383. 2018
- Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case. 76-81. 2018
- Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case. 101-106. 2018
-
SENSE: Abstraction-Based Synthesis of Networked Control Systems.
Electronic Proceedings in Theoretical Computer Science.
65-78.
2018
-
Accurate reachability analysis of uncertain nonlinear systems.
61-70.
2018
-
Constructing Control System Abstractions from Modular Components.
137-146.
2018
-
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes.
21-30.
2018
-
Poster: Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach.
275-276.
2018
-
Poster: Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs.
273-274.
2018
-
Poster: Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms.
285-286.
2018
- From dissipativity theory to compositional synthesis of symbolic models. 30-35. 2018
- Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 2017
- Compositional abstraction of interconnected control systems under dynamic interconnection topology. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 2017
- Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 2017
- On the Invariance Feedback Entropy of Linear Perturbed Control Systems. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 2017
-
Compositional abstractions of networks of stochastic hybrid systems: A dissipativity approach.
IFAC-PapersOnLine.
15804-15809.
2017
-
Detectability of Nondeterministic Finite Transition Systems.
IFAC-PapersOnLine.
9272-9277.
2017
-
Application and System-Level Software Fault Tolerance Through Full System Restarts.
197-206.
2017
-
Invariance Feedback Entropy of Nondeterministic Control Systems.
91-100.
2017
- Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 5367-5372. 2016
- Symbolic Synthesis with Average Performance Guarantees. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 7404-7410. 2016
- On Incremental Stability of Time-Delayed Stochastic Control Systems. 577-581. 2016
- On a Notion of Estimation Entropy for Stochastic Hybrid Systems. 780-785. 2016
- Symbolic Models of Networked Control Systems: A Feedback Refinement Relation Approach. 187-193. 2016
- Efficient HVAC controls: A symbolic approach. 1159-1164. 2016
-
SCOTS: A Tool for the Synthesis of Symbolic Controllers.
99-104.
2016
-
Tutorial: Trustworthy Cyber Physical Systems.
Proceedings of the IEEE International Conference on VLSI Design.
19-20.
2016
- Construction of Approximations of Stochastic Control Systems: A Compositional Approach. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 525-530. 2015
-
Reliable CPS Design for Mitigating Semiconductor and Battery Aging in Electric Vehicles.
37-42.
2015
- Bisimilar Symbolic Models for Stochastic Switched Systems: A Discretization-Free Approach. Proceedings of the ... American Control Conference. American Control Conference. 1923-1928. 2015
-
Compositional construction of approximate abstractions.
68-77.
2015
- Compositional Approximations of Interconnected Stochastic Hybrid Systems. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 3395-3400. 2014
- Finite Abstractions of Networked Control Systems. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 95-100. 2014
-
Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles.
Proceedings - Real-Time Systems Symposium.
238-248.
2014
- Bisimilar finite abstractions of stochastic control systems. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 3926-3931. 2013
- Controller synthesis for incremental stability: Application to symbolic controller synthesis. 2198-2203. 2013
- Symbolic models for stochastic control systems without stability assumptions. 4257-4262. 2013
- Synthesis of Minimal-Error Control Software. 123-132. 2012
- A Lyapunov approach in incremental stability. Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control. 302-307. 2011
-
Towards backstepping design for incremental stability.
Proceedings of the ... IEEE Conference on Decision & Control / IEEE Control Systems Society. IEEE Conference on Decision & Control.
2426-2431.
2010
- Symbolic models for unstable nonlinear control systems. Proceedings of the ... American Control Conference. American Control Conference. 1021-1026. 2010
-
Fuzzy large-scale systems stabilization with nonlinear state feedback controller.
5156-5161.
2009
- An optimal fractional order controller for an AVR system using particle swarm optimization algorithm. 243-248. 2007
-
Unit commitment using particle swarm-based-simulated annealing optimization approach.
297-+.
2007
- Hybrid particle swarm-based-simulated annealing optimization techniques. 2295-+. 2006
-
Control Closure Certificates.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics).
387-407.
2026
-
journal article
-
Closure certificates.
Nonlinear Analysis: Hybrid Systems.
2026
-
Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach.
IEEE Transactions on Automatic Control.
1-16.
2026
-
Reduced-Order Gaussian Processes for Partially Unknown Nonlinear Control Systems.
IEEE Transactions on Automatic Control.
6893-6900.
2025
-
Technical Committee on Hybrid Systems [Technical Activities].
IEEE Control Systems.
20-21.
2025
-
On Approximate Opacity of Stochastic Control Systems.
IEEE Transactions on Automatic Control.
3846-3861.
2025
-
Secure-by-Construction Synthesis for Control Systems.
IEEE Transactions on Automatic Control.
4170-4177.
2025
-
Neural Barrier Certificates for Monotone Systems.
IEEE Control Systems Letters.
1496-1501.
2025
-
Verification of Hyperproperties for Dynamical Systems via Barrier Certificates.
IEEE Transactions on Automatic Control.
6920-6934.
2024
-
The Editorial.
Nonlinear Analysis: Hybrid Systems.
2024
-
Compositional synthesis of control barrier certificates for networks of stochastic systems against w-regular specifications.
Nonlinear Analysis: Hybrid Systems.
2024
-
Co-Buchi Control Barrier Certificates for Stochastic Control Systems.
IEEE Control Systems Letters.
2529-2534.
2024
-
Compositional Verification for Large-Scale Systems via Closure Certificates.
IEEE Control Systems Letters.
2169-2174.
2024
-
Data-Driven Controller Synthesis via Co-Buchi Barrier Certificates With Formal Guarantees.
IEEE Control Systems Letters.
958-963.
2024
-
Data-driven verification and synthesis of stochastic systems via barrier certificates.
Automatica.
2024
-
Formal Synthesis of Controllers for Uncertain Linear Systems Against ω-Regular Properties: A Set-Based Approach.
IEEE Transactions on Automatic Control.
214-229.
2024
-
Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates.
IEEE Control Systems Letters.
3183-3188.
2024
-
Technical Committee on Hybrid Systems.
IEEE Control Systems.
15-16.
2023
-
A Framework for Output-Feedback Symbolic Control.
IEEE Transactions on Automatic Control.
5600-5607.
2023
-
Abstractions of networks of stochastic hybrid systems under randomly switched topologies: A compositional approach.
Systems & control letters (Print).
2023
-
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach.
IEEE Transactions on Automatic Control.
3011-3024.
2023
-
A Lyapunov-Based ISS Small-Gain Theorem for Infinite Networks of Nonlinear Systems.
IEEE Transactions on Automatic Control.
1447-1462.
2023
-
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs.
IEEE Transactions on Control of Network Systems.
87-99.
2023
-
A LYAPUNOV-BASED SMALL-GAIN THEORY FOR INFINITE NETWORKS VIA INFINITE-DIMENSIONAL GAIN OPERATORS.
SIAM Journal of Control and Optimization.
1778-1804.
2023
-
Abstraction-Based Verification of Approximate Preopacity for Control Systems.
IEEE Control Systems Letters.
1087-1092.
2023
-
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations.
Automatica.
2023
-
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems.
IEEE Open Journal of Control Systems.
425-438.
2023
-
Constructing MDP Abstractions Using Data With Formal Guarantees.
IEEE Control Systems Letters.
460-465.
2023
-
Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees.
IEEE Control Systems Letters.
3453-3458.
2023
-
Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates.
IEEE Control Systems Letters.
2497-2502.
2023
-
Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning.
IEEE Control Systems Letters.
3741-3746.
2023
-
Restructuring Dynamical Systems for Inductive Verification.
IEEE Open Journal of Control Systems.
200-207.
2023
-
Safety Verification of Stochastic Systems: A Repetitive Scenario Approach.
IEEE Control Systems Letters.
448-453.
2023
-
Toward Minimal Data Rate Enforcing Regular Safety Properties: An Invariance Entropy Approach.
IEEE Control Systems Letters.
1476-1481.
2023
-
Automated verification and synthesis of stochastic hybrid systems: A survey.
Automatica.
2022
-
Numerical over-approximation of invariance entropy via finite abstractions.
Systems & control letters (Print).
2022
-
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems.
Automatica.
2022
-
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems.
IEEE Transactions on Automatic Control.
5638-5645.
2022
-
A small-gain theorem for set stability of infinite networks: Distributed observation and ISS for time-varying networks.
European Journal of Control.
2022
-
A small-gain theorem for set stability of infinite networks: Distributed observation and ISS for time-varying networks.
European Journal of Control.
100634-100634.
2022
-
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems.
IEEE Transactions on Automatic Control.
4422-4437.
2022
-
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach.
IEEE Control Systems Letters.
223-228.
2022
-
Compositional construction of abstractions for infinite networks of discrete-time switched systems.
Nonlinear Analysis: Hybrid Systems.
2022
-
A Scenario Approach for Synthesizing k-Inductive Barrier Certificates.
IEEE Control Systems Letters.
3247-3252.
2022
-
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach.
IEEE Control Systems Letters.
2210-2215.
2022
-
From Dissipativity Theory to Compositional Construction of Control Barrier Certificates.
Leibniz Transactions on Embedded Systems.
2022
-
Modular Computation of Restoration Entropy for Networks of Systems: A Dissipativity Approach.
IEEE Control Systems Letters.
3289-3294.
2022
-
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates.
IEEE Control Systems Letters.
890-895.
2022
-
Secure-by-construction synthesis of cyber-physical systems.
Annual Reviews in Control.
30-50.
2022
-
A Lyapunov-Based Small-Gain Theorem for Infinite Networks.
IEEE Transactions on Automatic Control.
5830-5844.
2021
-
Invariance Feedback Entropy of Uncertain Control Systems.
IEEE Transactions on Automatic Control.
5680-5695.
2021
-
Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems.
Nonlinear Analysis: Hybrid Systems.
2021
-
Symbolic models for infinite networks of control systems: A compositional approach.
Nonlinear Analysis: Hybrid Systems.
2021
-
ISS small-gain criteria for infinite networks with linear gain functions.
Systems & control letters (Print).
2021
-
Verification of approximate opacity for switched systems: A compositional approach.
Nonlinear Analysis: Hybrid Systems.
2021
-
Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems.
IEEE Design and Test.
25-34.
2021
-
Verification of Approximate Opacity via Barrier Certificates.
IEEE Control Systems Letters.
1369-1374.
2021
-
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems.
Automatica.
2021
-
Data-driven verification of stochastic linear systems with signal temporal logic constraints.
Automatica.
2021
-
Formal Synthesis of Stochastic Systems via Control Barrier Certificates.
IEEE Transactions on Automatic Control.
3097-3110.
2021
-
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach.
IEEE Transactions on Control of Network Systems.
702-712.
2021
-
On Approximate Opacity of Cyber-Physical Systems.
IEEE Transactions on Automatic Control.
1630-1645.
2021
-
Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations.
Nonlinear Analysis: Hybrid Systems.
2021
-
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems.
European Journal of Control.
82-94.
2021
-
Symbolic Models for a Class of Impulsive Systems.
IEEE Control Systems Letters.
247-252.
2021
-
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions.
IEEE Control Systems Letters.
253-258.
2021
-
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems.
IEEE Transactions on Automatic Control.
5280-5295.
2020
-
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.
IEEE Control Systems Letters.
845-850.
2020
-
Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems.
IEEE Control Systems Letters.
827-832.
2020
-
Approximate abstractions of control systems with an application to aggregation.
Automatica.
2020
-
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart.
ACM Transactions on Cyber-Physical Systems.
2020
-
Compositional abstraction of large-scale stochastic systems: A relaxed dissipativity approach.
Nonlinear Analysis: Hybrid Systems.
2020
-
Compositional abstraction-based synthesis for networks of stochastic switched systems.
Automatica.
2020
-
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems.
IEEE Transactions on Control of Network Systems.
433-445.
2020
-
A spectral small-gain condition for input-to-state stability of infinite networks.
IFAC-PapersOnLine.
5303-5308.
2020
- ARCH-COMP20 Category Report: Stochastic Models. 76-106. 2020
-
Compositional Construction of Control Barrier Functions for Networks of Continuous-Time Stochastic Systems.
IFAC-PapersOnLine.
1856-1861.
2020
-
Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach.
IFAC-PapersOnLine.
1962-1967.
2020
- Compositional construction of control barrier certificates for large-scale stochastic switched systems. IEEE Control Systems Letters. 845-850. 2020
-
Data-Driven Verification under Signal Temporal Logic Constraints.
IFAC-PapersOnLine.
76-81.
2020
- Numerical Estimation of Invariance Entropy for Nonlinear Control Systems. arXiv-2004. 2020
- Numerical estimation of invariance entropy for nonlinear control systems 2020
- Output-Feedback Symbolic Control 2020
- Small-gain theorem for stability, cooperative control and distributed observation of infinite networks 2020
-
Symbolic models for retarded jump-diffusion systems.
Automatica.
2020
- Towards Safe AI: Safe-visor Architecture for Sandboxing AI-based Controllers in Stochastic Cyber-Physical Systems 2020
-
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach.
IEEE Transactions on Automatic Control.
5116-5123.
2019
-
Compositional Synthesis of Symbolic Models for Networks of Switched Systems.
IEEE Control Systems Letters.
1056-1061.
2019
-
Compositional construction of infinite abstractions for networks of stochastic control systems.
Automatica.
125-137.
2019
-
Compositional synthesis of finite abstractions for networks of systems: A small-gain approach.
Automatica.
551-561.
2019
-
Symbolic Abstractions of Networked Control Systems.
IEEE Transactions on Control of Network Systems.
1622-1634.
2018
-
Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach.
IEEE Transactions on Control of Network Systems.
1003-1015.
2018
-
Compositional Construction of Approximate Abstractions of Interconnected Control Systems.
IEEE Transactions on Control of Network Systems.
116-127.
2018
-
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps.
IEEE Transactions on Automatic Control.
255-261.
2018
-
Approximations of Stochastic Hybrid Systems: A Compositional Approach.
IEEE Transactions on Automatic Control.
2838-2853.
2017
-
Towards scalable synthesis of stochastic control systems.
Discrete Event Dynamic Systems: Theory and Applications.
341-369.
2017
-
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach.
Automatica.
183-196.
2015
-
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions.
IEEE Transactions on Automatic Control.
3135-3150.
2014
-
Approximately bisimilar symbolic models for randomly switched stochastic systems.
Systems & control letters (Print).
38-46.
2014
-
Backstepping controller synthesis and characterizations of incremental stability.
Systems & control letters (Print).
949-962.
2013
-
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions.
IEEE Transactions on Automatic Control.
1804-1809.
2012
-
Backstepping Design for Incremental Stability.
IEEE Transactions on Automatic Control.
2184-2189.
2011
-
Design of a fractional order PID controller for an AVR using particle swarm optimization.
Control Engineering Practice.
1380-1387.
2009
-
Design of an H∞ PID Controller Using Particle Swarm Optimization.
International Journal of Control, Automation and Systems.
273-280.
2009
- FOPID controller design for robust performance using particle swarm optimization. 169-188. 2007
-
Closure certificates.
Nonlinear Analysis: Hybrid Systems.
2026
editor of
Background
education and training
- M.A., University of California-Los Angeles 2012
- Ph.D., University of California-Los Angeles 2012
- M.S., Sharif University of Technology (Iran) 2007
- B.S., University of Isfahan (Iran) 2005
awards and honors
International Activities
geographic focus
- Asia Continent
- Canada Country
- China Country
- Europe Continent
- France Country
- Germany Country
- India Country
- Japan Country
- Netherlands Country
- North America Continent
- Sweden Country
- United Kingdom Country
- United States of America Country