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 Assistant Professor
Positions
- Assistant Professor, Computer Science
- Assistant Professor, Electrical, Computer and Energy Engineering (ECEE)
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
-
chapter
-
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.
Lecture Notes in Artificial Intelligence.
101-109.
2019
-
Sandboxing Controllers for Stochastic Cyber-Physical Systems.
Lecture Notes in Artificial Intelligence.
247-264.
2019
-
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach.
Lecture Notes in Artificial Intelligence.
265-281.
2019
-
QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers.
Lecture Notes in Artificial Intelligence.
309-313.
2017
-
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization.
Lecture Notes in Artificial Intelligence.
85-101.
2016
-
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.
Lecture Notes in Artificial Intelligence.
101-109.
2019
-
conference proceeding
-
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
-
Formal safety verification of unknown continuous-time systems
2021
-
OmegaThreads
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 Artificial Intelligence.
461-474.
2020
-
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.
Lecture Notes in Artificial Intelligence.
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 Artificial Intelligence.
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
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
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
-
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
-
journal article
-
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.
1-1.
2022
-
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach.
IEEE Control Systems Letters.
2210-2215.
2022
-
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates.
IEEE Control Systems Letters.
890-895.
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
-
ISS small-gain criteria for infinite networks with linear gain functions.
Systems and Control Letters.
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
-
Symbolic models for infinite networks of control systems: A compositional approach.
Nonlinear Analysis: Hybrid Systems.
2021
-
Verification of approximate opacity for switched systems: A compositional approach.
Nonlinear Analysis: Hybrid Systems.
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 synthesis of opacity-preserving finite abstractions for interconnected systems.
Automatica.
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
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.
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 and Control Letters.
38-46.
2014
-
Backstepping controller synthesis and characterizations of incremental stability.
Systems and Control Letters.
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-infinity 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
-
Compositional construction of abstractions for infinite networks of discrete-time switched systems.
Nonlinear Analysis: Hybrid Systems.
2022
Teaching
courses taught
-
CSCI 2820 - Linear Algebra with Computer Science Applications
Primary Instructor - Spring 2020 / Spring 2021
Introduces the fundamentals of linear algebra in the context of computer science applications. Includes vector spaces, matrices, linear systems, and eigenvalues. Includes the basics of floating point computation and numerical linear algebra. -
CSCI 4830 - Special Topics in Computer Science
Primary Instructor - Fall 2019
Covers topics of interest in computer science at the senior undergraduate level. Content varies from semester to semester. Only 9 credit hours from CSCI 4830 and/or CSCI 4831 can count toward Computer Science BS or BA. -
CSCI 5854 - Theoretical Foundations for Cyber-Physical Systems
Primary Instructor - Fall 2019 / Fall 2020 / Fall 2021
Covers techniques for modeling, design and verification of autonomous systems and application domains including automotive systems, robotics and medical devices. Modeling topics include timed systems, differential equations, switched systems, hybrid dynamical systems. Verification topics: reachability and stability verification. Temporal specifications. Synthesis of controllers. Applications: automotive systems, medical devices.
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
International Activities
global connections related to teaching and scholarly work (in recent years)
- Asia Continent
- Canada Country
- China Country
- Europe Continent
- France Country
- Germany Country
- India Country
- Netherlands Country
- North America Continent
- United Kingdom Country
- United States of America Country