Majid Zamani
Orcid: 0000-0001-6608-3708Affiliations:
- University of Colorado Boulder, USA
- LMU Munich, Germany (former)
According to our database1,
Majid Zamani
authored at least 204 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on colorado.edu
-
on orcid.org
On csauthors.net:
Bibliography
2024
Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach.
IEEE Trans. Autom. Control., January, 2024
Data-driven verification and synthesis of stochastic systems via barrier certificates.
Autom., January, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
IEEE Trans. Autom. Control., September, 2023
A Lyapunov-Based Small-Gain Theory for Infinite Networks via Infinite-Dimensional Gain Operators.
SIAM J. Control. Optim., June, 2023
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach.
IEEE Trans. Autom. Control., May, 2023
Abstractions of networks of stochastic hybrid systems under randomly switched topologies: A compositional approach.
Syst. Control. Lett., May, 2023
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs.
IEEE Trans. Control. Netw. Syst., March, 2023
IEEE Trans. Autom. Control., March, 2023
Toward Minimal Data Rate Enforcing Regular Safety Properties: An Invariance Entropy Approach.
IEEE Control. Syst. Lett., 2023
IEEE Control. Syst. Lett., 2023
Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates.
IEEE Control. Syst. Lett., 2023
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach.
IEEE Control. Syst. Lett., 2023
IEEE Control. Syst. Lett., 2023
IEEE Control. Syst. Lett., 2023
Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning.
IEEE Control. Syst. Lett., 2023
IEEE Control. Syst. Lett., 2023
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations.
Autom., 2023
Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Data-Driven Synthesis of Safety Controllers for Partially-Observable Systems with Unknown Models.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems.
IEEE Trans. Autom. Control., 2022
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems.
IEEE Trans. Autom. Control., 2022
Syst. Control. Lett., 2022
From Dissipativity Theory to Compositional Construction of Control Barrier Certificates.
Leibniz Trans. Embed. Syst., 2022
A small-gain theorem for set stability of infinite networks: Distributed observation and ISS for time-varying networks.
Eur. J. Control, 2022
Modular Computation of Restoration Entropy for Networks of Systems: A Dissipativity Approach.
IEEE Control. Syst. Lett., 2022
IEEE Control. Syst. Lett., 2022
IEEE Control. Syst. Lett., 2022
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates.
IEEE Control. Syst. Lett., 2022
CoRR, 2022
CoRR, 2022
Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture.
CoRR, 2022
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems.
Autom., 2022
Autom., 2022
Annu. Rev. Control., 2022
Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning.
Proceedings of the Learning for Dynamics and Control Conference, 2022
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach.
Proceedings of the Learning for Dynamics and Control Conference, 2022
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates.
Proceedings of the Learning for Dynamics and Control Conference, 2022
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022
Proceedings of the European Control Conference, 2022
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics<sup>*</sup>.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach.
Proceedings of the IEEE Conference on Control Technology and Applications, 2022
A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems.
Proceedings of the American Control Conference, 2022
Proceedings of the American Control Conference, 2022
2021
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach.
IEEE Trans. Control. Netw. Syst., 2021
IEEE Trans. Autom. Control., 2021
IEEE Trans. Autom. Control., 2021
IEEE Trans. Autom. Control., 2021
Syst. Control. Lett., 2021
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems.
Eur. J. Control, 2021
IEEE Des. Test, 2021
IEEE Control. Syst. Lett., 2021
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions.
IEEE Control. Syst. Lett., 2021
Data-driven verification and synthesis of stochastic systems through barrier certificates.
CoRR, 2021
Formal Synthesis of Controllers for Uncertain Linear Systems against ω-Regular Properties: A Set-based Approach.
CoRR, 2021
Formal Verification of Control Systems against Hyperproperties via Barrier Certificates.
CoRR, 2021
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications.
CoRR, 2021
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems.
CoRR, 2021
CoRR, 2021
Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems.
CoRR, 2021
Data-driven verification of stochastic linear systems with signal temporal logic constraints.
Autom., 2021
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems.
Autom., 2021
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Formal safety verification of unknown continuous-time systems: a data-driven approach.
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems.
Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021
Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021
Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
2020
ACM Trans. Cyber Phys. Syst., 2020
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems.
IEEE Trans. Control. Netw. Syst., 2020
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems.
IEEE Trans. Autom. Control., 2020
Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems.
IEEE Control. Syst. Lett., 2020
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.
IEEE Control. Syst. Lett., 2020
Verification of Initial-State Opacity for Switched Systems: A Compositional Approach.
CoRR, 2020
Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach.
CoRR, 2020
Autom., 2020
Compositional abstraction-based synthesis for networks of stochastic switched systems.
Autom., 2020
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
Compositional construction of control barrier functions for interconnected control systems.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Compositional Construction of Abstractions for Infinite Networks of Switched Systems.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.
Proceedings of the Computer Aided Verification - 32nd International Conference, 2020
Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020
Proceedings of the 2020 American Control Conference, 2020
Controller synthesis for interconnected systems using parametric assume-guarantee contracts.
Proceedings of the 2020 American Control Conference, 2020
2019
IEEE Trans. Autom. Control., 2019
IEEE Control. Syst. Lett., 2019
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations.
CoRR, 2019
Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach.
CoRR, 2019
Compositional synthesis of finite abstractions for networks of systems: A small-gain approach.
Autom., 2019
Compositional construction of infinite abstractions for networks of stochastic control systems.
Autom., 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, 2019
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
Verification and synthesis of interconnected embedded control systems under timing contracts.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019
Proceedings of the 17th European Control Conference, 2019
Proceedings of the 17th European Control Conference, 2019
Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions.
Proceedings of the 17th European Control Conference, 2019
Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.
Proceedings of the Numerical Software Verification - 12th International Workshop, 2019
Proceedings of the 2019 American Control Conference, 2019
2018
IEEE Trans. Control. Netw. Syst., 2018
IEEE Trans. Control. Netw. Syst., 2018
Compositional Construction of Approximate Abstractions of Interconnected Control Systems.
IEEE Trans. Control. Netw. Syst., 2018
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps.
IEEE Trans. Autom. Control., 2018
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case.
Proceedings of the 16th European Control Conference, 2018
Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case.
Proceedings of the 16th European Control Conference, 2018
Compositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approach.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
Proceedings of the 2018 Annual American Control Conference, 2018
Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies.
Proceedings of the 2018 Annual American Control Conference, 2018
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
2017
IEEE Trans. Autom. Control., 2017
Discret. Event Dyn. Syst., 2017
Dagstuhl Reports, 2017
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017
Proceedings of the 8th International Conference on Cyber-Physical Systems, 2017
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Compositional abstractions of interconnected discrete-time stochastic control systems.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Compositional abstraction of interconnected control systems under dynamic interconnection topology.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2016
Proceedings of the 15th European Control Conference, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Symbolic models of networked control systems: A feedback refinement relation approach.
Proceedings of the 54th Annual Allerton Conference on Communication, 2016
Proceedings of the 54th Annual Allerton Conference on Communication, 2016
Proceedings of the 54th Annual Allerton Conference on Communication, 2016
2015
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach.
Autom., 2015
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Reliable CPS Design for Mitigating Semiconductor and Battery Aging in Electric Vehicles.
Proceedings of the 2015 IEEE 3rd International Conference on Cyber-Physical Systems, 2015
Construction of approximations of stochastic control systems: A compositional approach.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Bisimilar symbolic models for stochastic switched systems: A discretization-free approach.
Proceedings of the American Control Conference, 2015
2014
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions.
IEEE Trans. Autom. Control., 2014
Syst. Control. Lett., 2014
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014
Bisimilar symbolic models for stochastic control systems without state-space discretization.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
Proceedings of the American Control Conference, 2014
2013
Syst. Control. Lett., 2013
Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013
Controller synthesis for incremental stability: Application to symbolic controller synthesis.
Proceedings of the 12th European Control Conference, 2013
Proceedings of the 12th European Control Conference, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
2012
IEEE Trans. Autom. Control., 2012
Proceedings of the 12th International Conference on Embedded Software, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
2011
Proceedings of the 11th International Conference on Embedded Software, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2010
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
Proceedings of the American Control Conference, 2010
2007
Unit Commitment Using Particle Swarm-Based-Simulated Annealing Optimization Approach.
Proceedings of the 2007 IEEE Swarm Intelligence Symposium, 2007