research overview
- Zamani's research interests includes formal verification and control of cyber-physical 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
-
chapter
- Sandboxing controllers for stochastic cyber-physical systems 2019
- Approximate probabilistic relations for compositional abstractions of stochastic systems 2019
- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach 2019
- QUEST: A tool for state-space quantization-free synthesis of symbolic controllers. 309-313. 2017
-
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization.
Lecture Notes in Artificial Intelligence.
85-101.
2016
-
conference proceeding
-
AMYTISS
2020
-
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.
98-107.
2020
- AMYTISS: Parallelized automated controller synthesis for large-scale stochastic systems. 461-474. 2020
- AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. 1-2. 2020
- Compositional Construction of Abstractions for Infinite Networks of Switched Systems. 476-481. 2020
- Compositional Verification of Initial-State Opacity for Switched Systems. 2146-2151. 2020
- Compositional construction of control barrier functions for interconnected control systems. 1-11. 2020
- Construction of continuous abstractions for discrete-time time-delay systems. 881-886. 2020
- Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. 3699-3704. 2020
- Controller synthesis for interconnected systems using parametric assume-guarantee contracts. 5419-5424. 2020
- On a notion of approximate opacity for discrete-time stochastic control systems. 5413-5418. 2020
- PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. 556-568. 2020
- Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks. 4460-4466. 2020
- dtControl: decision tree learning algorithms for controller representation. 1-7. 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
-
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
- 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
-
Unit commitment using particle swarm-based-simulated annealing optimization approach.
297-+.
2007
-
AMYTISS
2020
-
journal article
-
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 Lyapunov-based small-gain theorem for infinite networks. IEEE Transactions on Automatic Control. 2020
- A spectral small-gain condition for input-to-state stability of infinite networks 2020
- ARCH-COMP20 Category Report: Stochastic Models. 76-106. 2020
- Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems 2020
- Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems 2020
- Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems 2020
- Compositional abstraction-based synthesis for interconnected systems: An approximate composition approach 2020
- Compositional construction of control barrier certificates for large-scale stochastic switched systems. IEEE Control Systems Letters. 845-850. 2020
- Compositional construction of finite MDPs for continuous-time stochastic systems: A dissipativity approach 2020
- Data-Driven Verification under Signal Temporal Logic Constraints 2020
- Formal synthesis of stochastic systems via control barrier certificates. IEEE Transactions on Automatic Control. 2020
- Invariance feedback entropy of uncertain control systems. IEEE Transactions on Automatic Control. 2020
- Numerical Estimation of Invariance Entropy for Nonlinear Control Systems. arXiv-2004. 2020
- Numerical estimation of invariance entropy for nonlinear control systems 2020
- On approximate opacity of cyber-physical systems. IEEE Transactions on Automatic Control. 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
- Verification of initial-state opacity for switched systems: A compositional approach 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 abstraction-based synthesis of general MDPs via approximate probabilistic relations.
Nonlinear Analysis: Hybrid Systems.
2021
editor of
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
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