Majid Zamani

304 papers A* 3A 2B 2C 13Misc 2Journal 167Unranked 112
YearRankTypeTitle / Venue / Authors
2026 J jnl
Interpolation-Inspired Closure Certificates.
CoRR
Mohammed Adib Oumer, Vishnu Murali, Majid Zamani
2026 J jnl
Vector Certificates for ω-regular Specifications.
CoRR
Mohammed Adib Oumer, Vishnu Murali, Majid Zamani
2025 — conf
Backward Control Barrier Certificates.
CDC
Vishnu Murali, Majid Zamani
2025 B conf
Control Closure Certificates.
ATVA
Vishnu Murali, Mohammed Adib Oumer, Majid Zamani
2025 J jnl
Control Closure Certificates.
CoRR
Vishnu Murali, Mohammed Adib Oumer, Majid Zamani
2025 — conf
Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes.
CDC
Mohammed Adib Oumer, Amr Al-Anwar, Majid Zamani
2025 J jnl
Data-Driven Safety Verification using Barrier Certificates and Matrix Zonotopes.
CoRR
Mohammed Adib Oumer, Amr Alanwar, Majid Zamani
2025 — conf
Data-Driven Verification of Dynamical Systems via Closure Certificates.
CDC
Reza Iraji, Felipe Galarza-Jimenez, Majid Zamani
2025 — conf
Interpolation-Inspired Closure Certificates.
CDC
Mohammed Adib Oumer, Vishnu Murali, Majid Zamani
2025 J jnl
Neural Barrier Certificates for Monotone Systems.
IEEE Control. Syst. Lett.
Amirreza Alavi, Alireza Nadali, Majid Zamani, Saber Jafarpour
2025 — conf
Neural Barrier Certificates for Stochastic Control Systems.
CDC
Sara Taheri, Majid Zamani
2025 J jnl
On Approximate Opacity of Stochastic Control Systems.
IEEE Trans. Autom. Control.
Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas, Majid Zamani
2025 — conf
On Choice of Loss Functions for Neural Control Barrier Certificates.
QEST+FORMATS
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
2025 J jnl
On the Completeness and Ordering of Path-Complete Barrier Functions.
CoRR
Mahathi Anand, Raphaël M. Jungers, Majid Zamani, Frank Allgöwer
2025 J jnl
Physics-Informed Reward Machines.
CoRR
Daniel Ajeleye, Ashutosh Trivedi, Majid Zamani
2025 J jnl
Reduced-Order Gaussian Processes for Partially Unknown Nonlinear Control Systems.
IEEE Trans. Autom. Control.
Asad Ullah Awan, Majid Zamani
2025 J jnl
Robustness Certificates for Neural Networks against Adversarial Attacks.
CoRR
Sara Taheri, Mahalakshmi Sabanayagam, Debarghya Ghoshdastidar, Majid Zamani
2025 J jnl
Secure-by-Construction Synthesis for Control Systems.
IEEE Trans. Autom. Control.
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
2025 — conf
Stochastic Neural Simulation Relations for Control Transfer.
NeuS
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
2025 — conf
Symbolic Control for Autonomous Docking of Marine Surface Vessels.
CDC
Elizabeth Dietrich, Emir Cem Gezer, Bingzhuo Zhong, Murat Arcak, Majid Zamani, Roger Skjetne, Asgeir Johan Sørensen
2025 J jnl
Symbolic Control for Autonomous Docking of Marine Surface Vessels.
CoRR
Elizabeth Dietrich, Emir Cem Gezer, Bingzhuo Zhong, Murat Arcak, Majid Zamani, Roger Skjetne, Asgeir Johan Sørensen
2025 — conf
Trajectory-based Barrier Certificates for Monotone Systems.
CDC
Felipe Galarza-Jimenez, Majid Zamani, Saber Jafarpour
2025 C conf
Verification of Discrete-Time Systems against Timed Automata Specifications.
ACC
Asad Ullah Awan, Vishnu Murali, Majid Zamani
2024 — ed.
8th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2024, Boulder, CO, USA, July 1-3, 2024
ADHS
Abolfazl Lavaei, Pavithra Prabhakar, Luca Zaccarian, Majid Zamani
2024 — conf
Barrier Certificates for Weighted Automata-based Specifications.
CDC
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024 — conf
Closure Certificates.
HSCC
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024 J jnl
Co-Büchi Control Barrier Certificates for Stochastic Control Systems.
IEEE Control. Syst. Lett.
Daniel Ajeleye, Majid Zamani
2024 — conf
Compositional Synthesis of Controllers via Co-Büchi Barrier Certificates.
ADHS
Felipe Galarza-Jimenez, Vishnu Murali, Majid Zamani
2024 J jnl
Compositional Verification for Large-Scale Systems via Closure Certificates.
IEEE Control. Syst. Lett.
Felipe Galarza-Jimenez, Vishnu Murali, Majid Zamani
2024 J jnl
Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models.
CoRR
Paul Griffioen, Bingzhuo Zhong, Murat Arcak, Majid Zamani, Marco Caccamo
2024 J jnl
Data-Driven Controller Synthesis via Co-Büchi Barrier Certificates With Formal Guarantees.
IEEE Control. Syst. Lett.
Daniel Ajeleye, Majid Zamani
2024 J jnl
Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach.
CoRR
Daniel Ajeleye, Majid Zamani
2024 J jnl
Data-driven verification and synthesis of stochastic systems via barrier certificates.
Autom.
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2024 A conf
Decntr: Optimizing Safety and Schedulability with Multi-Mode Control and Resource Allocation Co-Design.
RTAS
Robert Gifford, Felipe Galarza-Jimenez, Linh Thi Xuan Phan, Majid Zamani
2024 — conf
Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks.
ADHS
Mahathi Anand, Majid Zamani
2024 C conf
Falsification via Barrier Certificates.
ACC
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024 J jnl
Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach.
IEEE Trans. Autom. Control.
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
2024 — conf
Hierarchical Control for Cyber-Physical Systems via General Approximate Alternating Simulation Relations.
ADHS
Bingzhuo Zhong, Murat Arcak, Majid Zamani
2024 A* conf
Neural Closure Certificates.
AAAI
Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024 J jnl
On Approximate Opacity of Stochastic Control Systems.
CoRR
Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas, Majid Zamani
2024 — conf
Path-Complete Barrier Functions for Safety of Switched Linear Systems.
CDC
Mahathi Anand, Raphaël M. Jungers, Majid Zamani, Frank Allgöwer
2024 J jnl
Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates.
IEEE Control. Syst. Lett.
Mohammed Adib Oumer, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2024 J jnl
Transfer Learning for Control Systems via Neural Simulation Relations.
CoRR
Alireza Nadali, Bingzhuo Zhong, Ashutosh Trivedi, Majid Zamani
2024 — conf
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model.
ADHS
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
2024 J jnl
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model.
CoRR
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
2024 — conf
Verification of Approximate Prognosability via Barrier Certificates.
CDC
Weijie Dong, Bingzhuo Zhong, Xiang Yin, Majid Zamani
2024 — conf
Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates.
ADHS
Bingzhuo Zhong, Weijie Dong, Xiang Yin, Majid Zamani
2024 J jnl
Verification of Diagnosability for Cyber-Physical Systems: A Hybrid Barrier Certificate Approach.
CoRR
Bingzhuo Zhong, Weijie Dong, Xiang Yin, Majid Zamani
2024 J jnl
Verification of Hyperproperties for Dynamical Systems via Barrier Certificates.
IEEE Trans. Autom. Control.
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2023 — conf
A Data-Driven Approach to Approximate Opacity Verification.
CDC
Vishnu Murali, Shadi Tasdighi Kalat, Majid Zamani
2023 J jnl
A Framework for Output-Feedback Symbolic Control.
IEEE Trans. Autom. Control.
Mahmoud Khaled, Kuize Zhang, Majid Zamani
2023 J jnl
A Lyapunov-Based ISS Small-Gain Theorem for Infinite Networks of Nonlinear Systems.
IEEE Trans. Autom. Control.
Christoph Kawan, Andrii Mironchenko, Majid Zamani
2023 J jnl
A Lyapunov-Based Small-Gain Theory for Infinite Networks via Infinite-Dimensional Gain Operators.
SIAM J. Control. Optim.
Christoph Kawan, Majid Zamani
2023 — conf
Abstraction-Based Synthesis of Controllers for Approximate Opacity.
CDC
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
2023 J jnl
Abstraction-Based Verification of Approximate Preopacity for Control Systems.
IEEE Control. Syst. Lett.
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
2023 J jnl
Abstractions of networks of stochastic hybrid systems under randomly switched topologies: A compositional approach.
Syst. Control. Lett.
Asad Ullah Awan, Majid Zamani
2023 J jnl
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations.
Autom.
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
2023 J jnl
Closure Certificates.
CoRR
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2023 J jnl
Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems.
CoRR
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2023 J jnl
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs.
IEEE Trans. Control. Netw. Syst.
Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani
2023 J jnl
Constructing MDP Abstractions Using Data With Formal Guarantees.
IEEE Control. Syst. Lett.
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani
2023 J jnl
Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees.
IEEE Control. Syst. Lett.
Daniel Ajeleye, Abolfazl Lavaei, Majid Zamani
2023 — conf
Data-Driven Synthesis of Safety Controllers for Partially-Observable Systems with Unknown Models.
CDC
Niloofar Jahanshahi, Majid Zamani
2023 J jnl
Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates.
IEEE Control. Syst. Lett.
Ameneh Nejati, Majid Zamani
2023 J jnl
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach.
IEEE Control. Syst. Lett.
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2023 J jnl
Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning.
IEEE Control. Syst. Lett.
Asad Ullah Awan, Majid Zamani
2023 J jnl
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach.
IEEE Trans. Autom. Control.
Ameneh Nejati, Abolfazl Lavaei, Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2023 J jnl
Safety Verification of Stochastic Systems: A Repetitive Scenario Approach.
IEEE Control. Syst. Lett.
Ali Salamati, Majid Zamani
2023 J jnl
Secure-by-Construction Synthesis for Control Systems.
CoRR
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
2023 J jnl
Toward Minimal Data Rate Enforcing Regular Safety Properties: An Invariance Entropy Approach.
IEEE Control. Syst. Lett.
Mahendra Singh Tomar, Majid Zamani
2023 A* conf
Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games.
AAAI
Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo
2023 — conf
Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems.
CDC
Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani
2023 — conf
Transfer Learning for Barrier Certificates.
CDC
Alireza Nadali, Ashutosh Trivedi, Majid Zamani
2022 J jnl
A Scenario Approach for Synthesizing k-Inductive Barrier Certificates.
IEEE Control. Syst. Lett.
Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2022 C conf
A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems.
ACC
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
2022 J jnl
A small-gain theorem for set stability of infinite networks: Distributed observation and ISS for time-varying networks.
Eur. J. Control
Navid Noroozi, Andrii Mironchenko, Christoph Kawan, Majid Zamani
2022 J jnl
Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems.
CoRR
Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani
2022 J jnl
Automated verification and synthesis of stochastic hybrid systems: A survey.
Autom.
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
2022 J jnl
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems.
CoRR
Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2022 — conf
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.
CDC
Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
2022 J jnl
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts.
CoRR
Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani
2022 J jnl
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems.
Autom.
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2022 J jnl
Constructing MDP Abstractions Using Data with Formal Guarantees.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani
2022 — conf
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates.
L4DC
Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani
2022 J jnl
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach.
IEEE Control. Syst. Lett.
Navid Noroozi, Ali Salamati, Majid Zamani
2022 — conf
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach.
L4DC
Ali Salamati, Majid Zamani
2022 — conf
Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics
CDC
Abolfazl Lavaei, Peyman Mohajerin Esfahani, Majid Zamani
2022 — conf
Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning.
L4DC
Rameez Wajid, Asad Ullah Awan, Majid Zamani
2022 J jnl
From Dissipativity Theory to Compositional Construction of Control Barrier Certificates.
Leibniz Trans. Embed. Syst.
Ameneh Nejati, Majid Zamani
2022 J jnl
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems.
IEEE Trans. Autom. Control.
Abolfazl Lavaei, Majid Zamani
2022 J jnl
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems.
IEEE Trans. Autom. Control.
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
2022 J jnl
Modular Computation of Restoration Entropy for Networks of Systems: A Dissipativity Approach.
IEEE Control. Syst. Lett.
Mahendra Singh Tomar, Majid Zamani
2022 J jnl
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates.
IEEE Control. Syst. Lett.
Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani
2022 J jnl
Numerical over-approximation of invariance entropy via finite abstractions.
Syst. Control. Lett.
Mahendra Singh Tomar, Christoph Kawan, Majid Zamani
2022 C conf
On a notion of entropy for reachability properties.
ACC
Mahendra Singh Tomar, Majid Zamani
2022 — conf
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations.
HSCC
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
2022 J jnl
Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture.
CoRR
Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo
2022 J jnl
Secure-by-Construction Synthesis of Cyber-Physical Systems.
CoRR
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
2022 J jnl
Secure-by-construction synthesis of cyber-physical systems.
Annu. Rev. Control.
Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani
2022 — conf
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach.
CCTA
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
2022 J jnl
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach.
CoRR
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
2022 — conf
Verification of approximate infinite-step opacity using barrier certificates.
ECC
Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani
2022 — conf
k-Inductive Barrier Certificates for Stochastic Systems.
HSCC
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2021 J jnl
A Lyapunov-Based Small-Gain Theorem for Infinite Networks.
IEEE Trans. Autom. Control.
Christoph Kawan, Andrii Mironchenko, Abdalla Swikir, Navid Noroozi, Majid Zamani
2021 — conf
A small-gain approach to ISS of infinite networks with homogeneous gain operators.
CDC
Andrii Mironchenko, Navid Noroozi, Christoph Kawan, Majid Zamani
2021 J jnl
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations.
CoRR
Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo
2021 J jnl
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani
2021 J jnl
Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems.
IEEE Des. Test
Mahmoud Khaled, Majid Zamani
2021 J jnl
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach.
IEEE Trans. Control. Netw. Syst.
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
2021 J jnl
Compositional Abstractions of Interconnected Discrete-Time Switched Systems.
CoRR
Abdalla Swikir, Majid Zamani
2021 J jnl
Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems.
CoRR
Maryam Sharifi, Abdalla Swikir, Navid Noroozi, Majid Zamani
2021 J jnl
Compositional Construction of Abstractions for Infinite Networks of Switched Systems.
CoRR
Maryam Sharifi, Abdalla Swikir, Navid Noroozi, Majid Zamani
2021 J jnl
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs.
CoRR
Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani
2021 J jnl
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications.
CoRR
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
2021 J jnl
Compositional Verification of Initial-State Opacity for Switched Systems.
CoRR
Siyuan Liu, Abdalla Swikir, Majid Zamani
2021 J jnl
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems.
Eur. J. Control
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2021 J jnl
Compositional synthesis of almost maximally permissible safety controllers.
CoRR
Siyuan Liu, Majid Zamani
2021 J jnl
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems.
Autom.
Siyuan Liu, Majid Zamani
2021 — conf
Construction of ISS Lyapunov functions for infinite networks of ISS systems.
CDC
Christoph Kawan, Andrii Mironchenko, Majid Zamani
2021 — conf
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems.
ADHS
Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2021 — conf
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates.
ADHS
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2021 J jnl
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates.
CoRR
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2021 J jnl
Data-driven verification and synthesis of stochastic systems via barrier certificates.
CoRR
Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2021 J jnl
Data-driven verification of stochastic linear systems with signal temporal logic constraints.
Autom.
Ali Salamati, Sadegh Soudjani, Majid Zamani
2021 — conf
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach.
HSCC
Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2021 J jnl
Formal Synthesis of Controllers for Uncertain Linear Systems against ω-Regular Properties: A Set-based Approach.
CoRR
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
2021 J jnl
Formal Synthesis of Stochastic Systems via Control Barrier Certificates.
IEEE Trans. Autom. Control.
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2021 J jnl
Formal Verification of Control Systems against Hyperproperties via Barrier Certificates.
CoRR
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2021 — conf
Formal safety verification of unknown continuous-time systems: a data-driven approach.
HSCC
Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani
2021 — conf
Formal verification of hyperproperties for control systems.
CAADCPS@CPSIoTWeek
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2021 J jnl
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems.
CoRR
Mahathi Anand, Abolfazl Lavaei, Majid Zamani
2021 J jnl
ISS small-gain criteria for infinite networks with linear gain functions.
Syst. Control. Lett.
Andrii Mironchenko, Navid Noroozi, Christoph Kawan, Majid Zamani
2021 J jnl
Invariance Feedback Entropy of Uncertain Control Systems.
IEEE Trans. Autom. Control.
Mahendra Singh Tomar, Matthias Rungger, Majid Zamani
2021 — conf
OmegaThreads: symbolic controller design for
HSCC
Mahmoud Khaled, Majid Zamani
2021 — conf
OmegaThreads: symbolic controller design for
HSCC
Mahmoud Khaled, Majid Zamani
2021 J jnl
On Approximate Opacity of Cyber-Physical Systems.
IEEE Trans. Autom. Control.
Xiang Yin, Majid Zamani, Siyuan Liu
2021 J jnl
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems.
CoRR
Bingzhuo Zhong, Abolfazl Lavaei, Hongpeng Cao, Majid Zamani, Marco Caccamo
2021 — conf
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates.
CDC
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
2021 J jnl
Sandboxing Controllers for Stochastic Cyber-Physical Systems.
CoRR
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
2021 — conf
Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications.
CDC
Yifan Xie, Xiang Yin, Shaoyuan Li, Majid Zamani
2021 J jnl
Symbolic Models for Infinite Networks of Control Systems: A Compositional Approach.
CoRR
Siyuan Liu, Navid Noroozi, Majid Zamani
2021 J jnl
Symbolic Models for a Class of Impulsive Systems.
IEEE Control. Syst. Lett.
Abdalla Swikir, Antoine Girard, Majid Zamani
2021 J jnl
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions.
CoRR
Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani
2021 J jnl
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions.
IEEE Control. Syst. Lett.
Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani
2021 — conf
Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems.
CAADCPS@CPSIoTWeek
Abolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, Majid Zamani
2021 C conf
Verification of Approximate Opacity via Barrier Certificates.
ACC
Siyuan Liu, Majid Zamani
2021 J jnl
Verification of Approximate Opacity via Barrier Certificates.
CoRR
Siyuan Liu, Majid Zamani
2021 J jnl
Verification of Approximate Opacity via Barrier Certificates.
IEEE Control. Syst. Lett.
Siyuan Liu, Majid Zamani
2021 J jnl
Verification of Switched Stochastic Systems via Barrier Certificates.
CoRR
Mahathi Anand, Pushpak Jagtap, Majid Zamani
2020 — conf
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems.
CAV (2)
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
2020 J jnl
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems.
CoRR
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
2020 — conf
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems.
HSCC
Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani
2020 — conf
ARCH-COMP20 Category Report: Stochastic Models.
ARCH
Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani
2020 J jnl
Approximate abstractions of control systems with an application to aggregation.
Autom.
Stanley W. Smith, Murat Arcak, Majid Zamani
2020 J jnl
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems.
IEEE Trans. Autom. Control.
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2020 J jnl
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach.
CoRR
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
2020 — conf
Compositional Construction of Abstractions for Infinite Networks of Switched Systems.
CDC
Maryam Sharifi, Abdalla Swikir, Navid Noroozi, Majid Zamani
2020 J jnl
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.
CoRR
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2020 J jnl
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems.
IEEE Control. Syst. Lett.
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2020 J jnl
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems.
CoRR
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2020 J jnl
Compositional Construction of Control Barrier Functions for Interconnected Control Systems.
CoRR
Pushpak Jagtap, Abdalla Swikir, Majid Zamani
2020 J jnl
Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach.
CoRR
Ameneh Nejati, Majid Zamani
2020 J jnl
Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems.
IEEE Control. Syst. Lett.
Mahendra Singh Tomar, Majid Zamani
2020 J jnl
Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems.
CoRR
Siyuan Liu, Majid Zamani
2020 — conf
Compositional Verification of Initial-State Opacity for Switched Systems.
CDC
Siyuan Liu, Abdalla Swikir, Majid Zamani
2020 J jnl
Compositional abstraction-based synthesis for networks of stochastic switched systems.
Autom.
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2020 — conf
Compositional construction of control barrier functions for interconnected control systems.
HSCC
Pushpak Jagtap, Abdalla Swikir, Majid Zamani
2020 — conf
Construction of continuous abstractions for discrete-time time-delay systems.
CDC
Mobin Shahamat, Javad Askari, Abdalla Swikir, Navid Noroozi, Majid Zamani
2020 — conf
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes.
CDC
Pushpak Jagtap, George J. Pappas, Majid Zamani
2020 J jnl
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes.
CoRR
Pushpak Jagtap, George J. Pappas, Majid Zamani
2020 C conf
Controller synthesis for interconnected systems using parametric assume-guarantee contracts.
ACC
Mohammad Al Khatib, Majid Zamani
2020 J jnl
Data-Driven Verification under Signal Temporal Logic Constraints.
CoRR
Ali Salamati, Sadegh Soudjani, Majid Zamani
2020 — conf
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.
ICCPS
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2020 J jnl
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning.
CoRR
Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani
2020 J jnl
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems.
IEEE Trans. Control. Netw. Syst.
Asad Ullah Awan, Majid Zamani
2020 J jnl
Numerical Estimation of Invariance Entropy for Nonlinear Control Systems.
CoRR
Mahendra Singh Tomar, Christoph Kawan, Pushpak Jagtap, Majid Zamani
2020 C conf
On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems.
ACC
Siyuan Liu, Xiang Yin, Majid Zamani
2020 J jnl
Output-Feedback Symbolic Control.
CoRR
Mahmoud Khaled, Kuize Zhang, Majid Zamani
2020 — conf
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.
CAV (1)
Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani
2020 J jnl
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems.
CoRR
Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani
2020 — conf
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks.
CDC
Shuo Yang, Xiang Yin, Shaoyuan Li, Majid Zamani
2020 J jnl
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks.
CoRR
Shuo Yang, Xiang Yin, Shaoyuan Li, Majid Zamani
2020 J jnl
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart.
ACM Trans. Cyber Phys. Syst.
Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo
2020 J jnl
Symbolic Models for a Class of Impulsive Systems.
CoRR
Abdalla Swikir, Antoine Girard, Majid Zamani
2020 J jnl
Symbolic models for retarded jump-diffusion systems.
Autom.
Pushpak Jagtap, Majid Zamani
2020 J jnl
Verification of Initial-State Opacity for Switched Systems: A Compositional Approach.
CoRR
Siyuan Liu, Abdalla Swikir, Majid Zamani
2020 J jnl
dtControl: Decision Tree Learning Algorithms for Controller Representation.
CoRR
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2020 — conf
dtControl: decision tree learning algorithms for controller representation.
HSCC
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2020 — conf
dtControl: decision tree learning algorithms for controller representation.
HSCC
Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani
2019 — conf
Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations.
CDC
Junyao Hou, Xiang Yin, Shaoyuan Li, Majid Zamani
2019 — conf
Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems.
ECC
Ameneh Nejati, Sadegh Soudjani, Majid Zamani
2019 — conf
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems.
NSV@CAV
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 J jnl
Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 J jnl
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 — conf
Compositional Abstractions of Interconnected Discrete-Time Switched Systems.
ECC
Abdalla Swikir, Majid Zamani
2019 J jnl
Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 J jnl
Compositional Synthesis of Symbolic Models for Networks of Switched Systems.
CoRR
Abdalla Swikir, Majid Zamani
2019 J jnl
Compositional Synthesis of Symbolic Models for Networks of Switched Systems.
IEEE Control. Syst. Lett.
Abdalla Swikir, Majid Zamani
2019 — conf
Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions.
ECC
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 — conf
Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions.
CDC
Abolfazl Lavaei, Majid Zamani
2019 J jnl
Compositional construction of infinite abstractions for networks of stochastic control systems.
Autom.
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2019 — conf
Compositional finite abstractions for large-scale stochastic switched systems.
SNR
Abolfazl Lavaei, Majid Zamani
2019 C conf
Compositional synthesis of almost maximally permissible safety controllers.
ACC
Siyuan Liu, Majid Zamani
2019 J jnl
Compositional synthesis of finite abstractions for networks of systems: A small-gain approach.
Autom.
Abdalla Swikir, Majid Zamani
2019 J jnl
Formal Synthesis of Stochastic Systems via Control Barrier Certificates.
CoRR
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2019 — ed.
Numerical Software Verification - 12th International Workshop, NSV@CAV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings
NSV@CAV
Majid Zamani, Damien Zufferey
2019 J jnl
On Approximate Opacity of Cyber-Physical Systems.
CoRR
Xiang Yin, Majid Zamani
2019 J jnl
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach.
IEEE Trans. Autom. Control.
Kuize Zhang, Xiang Yin, Majid Zamani
2019 — conf
Sandboxing Controllers for Stochastic Cyber-Physical Systems.
FORMATS
Bingzhuo Zhong, Majid Zamani, Marco Caccamo
2019 — conf
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach.
TACAS (2)
Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani
2019 — conf
Towards approximate opacity of cyber-physical system: WIP abstract.
ICCPS
Xiang Yin, Majid Zamani
2019 — conf
Verification and synthesis of interconnected embedded control systems under timing contracts.
HSCC
Mohammad Al Khatib, Majid Zamani
2019 — conf
Verification of Switched Stochastic Systems via Barrier Certificates.
CDC
Mahathi Anand, Pushpak Jagtap, Majid Zamani
2019 — conf
pFaces: an acceleration ecosystem for symbolic control.
HSCC
Mahmoud Khaled, Majid Zamani
2018 — conf
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.
ARCH@ADHS
Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani
2018 — conf
Accurate reachability analysis of uncertain nonlinear systems.
HSCC
Matthias Rungger, Majid Zamani
2018 J jnl
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps.
IEEE Trans. Autom. Control.
Pushpak Jagtap, Majid Zamani
2018 J jnl
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems.
CoRR
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2018 J jnl
Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach.
IEEE Trans. Control. Netw. Syst.
Majid Zamani, Murat Arcak
2018 — conf
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems.
ADHS
Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard
2018 J jnl
Compositional Construction of Approximate Abstractions of Interconnected Control Systems.
IEEE Trans. Control. Netw. Syst.
Matthias Rungger, Majid Zamani
2018 J jnl
Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems.
CoRR
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani
2018 — conf
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach.
ADHS
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2018 — conf
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach.
HSCC
Abdalla Swikir, Antoine Girard, Majid Zamani
2018 J jnl
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Small-Gain Approach.
CoRR
Abdalla Swikir, Majid Zamani
2018 — conf
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs.
HSCC
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2018 — conf
Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach.
CDC
Asad Ullah Awan, Samuel Coogan, Majid Zamani
2018 — conf
Compositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approach.
CDC
Asad Ullah Awan, Majid Zamani
2018 C conf
Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies.
ACC
Asad Ullah Awan, Majid Zamani
2018 J jnl
Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies.
CoRR
Asad Ullah Awan, Majid Zamani
2018 — conf
Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case.
ECC
Navid Noroozi, Fabian R. Wirth, Majid Zamani
2018 — conf
Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case.
ECC
Navid Noroozi, Abdalla Swikir, Fabian R. Wirth, Majid Zamani
2018 — conf
Constructing Control System Abstractions from Modular Components.
HSCC
Eric S. Kim, Murat Arcak, Majid Zamani
2018 J jnl
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems.
CoRR
Asad Ullah Awan, Majid Zamani
2018 — conf
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes.
HSCC
Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani
2018 C conf
Hierarchical Control via an Approximate Aggregate Manifold.
ACC
Stanley W. Smith, Murat Arcak, Majid Zamani
2018 — conf
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms.
HSCC
Eric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani
2018 J jnl
Opacity of nondeterministic transition systems: A (bi)simulation relation approach.
CoRR
Kuize Zhang, Xiang Yin, Majid Zamani
2018 — conf
SENSE: Abstraction-Based Synthesis of Networked Control Systems.
MeTRiD@ETAPS
Mahmoud Khaled, Matthias Rungger, Majid Zamani
2018 J jnl
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart.
CoRR
Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo
2018 J jnl
Symbolic Abstractions of Networked Control Systems.
IEEE Trans. Control. Netw. Syst.
Majid Zamani, Manuel Mazo Jr., Mahmoud Khaled, Alessandro Abate
2018 B conf
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.
ATVA
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2018 J jnl
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates.
CoRR
Pushpak Jagtap, Sadegh Soudjani, Majid Zamani
2017 — conf
Application and system-level software fault tolerance through full system restarts.
ICCPS
Fardin Abdi, Rohan Tabish, Matthias Rungger, Majid Zamani, Marco Caccamo
2017 J jnl
Approximations of Stochastic Hybrid Systems: A Compositional Approach.
IEEE Trans. Autom. Control.
Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani
2017 J jnl
Automated Synthesis of Infinite Dimensional Stochastic Hybrid Systems.
CoRR
Pushpak Jagtap, Majid Zamani
2017 J jnl
Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems.
CoRR
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani
2017 — conf
Compositional abstraction of interconnected control systems under dynamic interconnection topology.
CDC
Asad Ullah Awan, Majid Zamani
2017 — conf
Compositional abstractions of interconnected discrete-time stochastic control systems.
CDC
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani
2017 J jnl
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201).
Dagstuhl Reports
Calin Belta, Rupak Majumdar, Majid Zamani, Matthias Rungger
2017 J jnl
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes.
CoRR
Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani
2017 J jnl
From dissipativity theory to compositional synthesis of symbolic models.
CoRR
Abdalla Swikir, Antoine Girard, Majid Zamani
2017 — conf
Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach.
CDC
Kuize Zhang, Majid Zamani
2017 — conf
Invariance Feedback Entropy of Nondeterministic Control Systems.
HSCC
Matthias Rungger, Majid Zamani
2017 J jnl
Invariance Feedback Entropy of Uncertain Control Systems.
CoRR
Matthias Rungger, Majid Zamani
2017 — conf
On the invariance feedback entropy of linear perturbed control systems.
CDC
Matthias Rungger, Majid Zamani
2017 — conf
QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers.
QEST
Pushpak Jagtap, Majid Zamani
2017 J jnl
Quantitative Implementation Strategies for Safety Controllers.
CoRR
Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, Majid Zamani
2017 J jnl
Towards scalable synthesis of stochastic control systems.
Discret. Event Dyn. Syst.
Majid Zamani, Ilya Tkachev, Alessandro Abate
2016 J jnl
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps.
CoRR
Pushpak Jagtap, Majid Zamani
2016 — conf
Backstepping design for incremental stability of stochastic Hamiltonian systems.
CDC
Pushpak Jagtap, Majid Zamani
2016 J jnl
Compositional abstraction for networks of control systems: A dissipativity approach.
CoRR
Majid Zamani, Murat Arcak
2016 — conf
Efficient HVAC controls: A symbolic approach.
ECC
Ondrej Holub, Majid Zamani, Alessandro Abate
2016 — conf
On a notion of estimation entropy for stochastic hybrid systems.
Allerton
Asad Ullah Awan, Majid Zamani
2016 — conf
On incremental stability of time-delayed stochastic control systems.
Allerton
Pushpak Jagtap, Majid Zamani
2016 — conf
SCOTS: A Tool for the Synthesis of Symbolic Controllers.
HSCC
Matthias Rungger, Majid Zamani
2016 — conf
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization.
FORMATS
Majid Zamani, Soumyajit Dey, Sajid Mohamed, Pallab Dasgupta, Manuel Mazo Jr.
2016 — conf
Symbolic models of networked control systems: A feedback refinement relation approach.
Allerton
Mahmoud Khaled, Matthias Rungger, Majid Zamani
2016 — conf
Symbolic synthesis with average performance guarantees.
CDC
Matthias Rungger, Gunther Reissig, Majid Zamani
2016 J jnl
Towards Scalable Synthesis of Stochastic Control Systems.
CoRR
Majid Zamani, Ilya Tkachev, Alessandro Abate
2015 J jnl
Approximations of Stochastic Hybrid Systems: A Compositional Approach.
CoRR
Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani
2015 C conf
Bisimilar symbolic models for stochastic switched systems: A discretization-free approach.
ACC
Majid Zamani, Antoine Girard
2015 J jnl
Compositional Construction of Approximate Abstractions of Interconnected Control Systems.
CoRR
Matthias Rungger, Majid Zamani
2015 — conf
Compositional construction of approximate abstractions.
HSCC
Matthias Rungger, Majid Zamani
2015 — conf
Construction of approximations of stochastic control systems: A compositional approach.
CDC
Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani
2015 — conf
Reliable CPS Design for Mitigating Semiconductor and Battery Aging in Electric Vehicles.
CPSNA
Wanli Chang, Alma Pröbstl, Dip Goswami, Majid Zamani, Samarjit Chakraborty
2015 J jnl
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach.
Autom.
Majid Zamani, Alessandro Abate, Antoine Girard
2014 J jnl
Approximately bisimilar symbolic models for randomly switched stochastic systems.
Syst. Control. Lett.
Majid Zamani, Alessandro Abate
2014 A conf
Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles.
RTSS
Wanli Chang, Alma Pröbstl, Dip Goswami, Majid Zamani, Samarjit Chakraborty
2014 — conf
Bisimilar symbolic models for stochastic control systems without state-space discretization.
HSCC
Majid Zamani, Ilya Tkachev, Alessandro Abate
2014 — conf
Compositional approximations of interconnected stochastic hybrid systems.
CDC
Majid Zamani
2014 — conf
Finite abstractions of networked control systems.
CDC
Majid Zamani, Manuel Mazo Jr., Alessandro Abate
2014 J jnl
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions.
IEEE Trans. Autom. Control.
Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros
2014 J jnl
Symbolic Models for Networked Control Systems.
CoRR
Majid Zamani, Manuel Mazo Jr., Alessandro Abate
2014 J jnl
Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach.
CoRR
Majid Zamani, Alessandro Abate, Antoine Girard
2014 C conf
Symbolic models for randomly switched stochastic systems.
ACC
Majid Zamani, Alessandro Abate
2013 J jnl
Backstepping controller synthesis and characterizations of incremental stability.
Syst. Control. Lett.
Majid Zamani, Nathan van de Wouw, Rupak Majumdar
2013 — conf
Bisimilar finite abstractions of stochastic control systems.
CDC
Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros
2013 — conf
Controller synthesis for incremental stability: Application to symbolic controller synthesis.
ECC
Majid Zamani, Nathan van de Wouw
2013 — conf
Symbolic Control of Stochastic Switched Systems via Finite Abstractions.
QEST
Majid Zamani, Alessandro Abate
2013 J jnl
Symbolic control of stochastic systems via approximately bisimilar finite abstractions
CoRR
Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros
2013 — conf
Symbolic models for stochastic control systems without stability assumptions.
ECC
Majid Zamani, Peyman Mohajerin Esfahani, Alessandro Abate, John Lygeros
2012 A* conf
Approximately Bisimilar Symbolic Models for Digital Control Systems.
CAV
Rupak Majumdar, Majid Zamani
2012 — —
Control of cyber-physical systems using incremental properties of physical systems.
Majid Zamani
2012 J jnl
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions.
IEEE Trans. Autom. Control.
Majid Zamani, Giordano Pola, Manuel Mazo Jr., Paulo Tabuada
2012 J jnl
Synthesis of Minimal Error Control Software
CoRR
Rupak Majumdar, Indranil Saha, Majid Zamani
2012 Misc conf
Synthesis of minimal-error control software.
EMSOFT
Rupak Majumdar, Indranil Saha, Majid Zamani
2011 — conf
A Lyapunov approach in incremental stability.
CDC/ECC
Majid Zamani, Rupak Majumdar
2011 J jnl
Backstepping Design for Incremental Stability.
IEEE Trans. Autom. Control.
Majid Zamani, Paulo Tabuada
2011 J jnl
Coordinate-invariant incremental Lyapunov functions
CoRR
Majid Zamani, Rupak Majumdar
2011 Misc conf
Performance-aware scheduler synthesis for control systems.
EMSOFT
Rupak Majumdar, Indranil Saha, Majid Zamani
2010 C conf
Symbolic models for unstable nonlinear control systems.
ACC
Majid Zamani, Giordano Pola, Paulo Tabuada
2010 — conf
Towards backstepping design for incremental stability.
CDC
Majid Zamani, Paulo Tabuada
2007 — conf
Unit Commitment Using Particle Swarm-Based-Simulated Annealing Optimization Approach.
SIS
Nasser Sadati, Mahdi Hajian, Majid Zamani