research overview
- Zamani's research interests includes verification and control of cyber-physical systems, hybrid systems, embedded control software synthesis, networked control systems, and incremental properties of nonlinear 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 applications and autonomous systems, Information-based control, Automated synthesis of networked control systems, Incremental stability of (stochastic) control 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
-
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.
98-107.
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
- 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
-
Unit commitment using particle swarm-based-simulated annealing optimization approach.
297-+.
2007
-
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.
98-107.
2020
-
journal article
-
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
-
Symbolic models for retarded jump-diffusion systems.
Automatica.
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
-
Symbolic Models for a Class of Impulsive Systems.
IEEE Control Systems Letters.
247-252.
2021
editor of
Background
education and training
- Ph.D., University of California-Los Angeles 2012
- M.A., 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