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
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
- Abstraction-based synthesis of opacity-enforcing controllers using alternating simulation relations 2019
- Compositional verification of large-scale stochastic systems 2019
- Verification of switched stochastic systems via barrier certificates 2019
-
Compositional synthesis of almost maximally permissible safety controllers
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
2019
-
pFaces
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 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. 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
- 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. 1021-1026. 2010
-
Unit commitment using particle swarm-based-simulated annealing optimization approach.
297-+.
2007
-
journal article
-
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 retarded jump-diffusion systems.
Automatica.
2020
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
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