![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Majid Zamani 0001
Person information
- affiliation: University of Colorado Boulder, USA
- affiliation (former): LMU Munich, Germany
Other persons with the same name
- Majid Zamani — disambiguation page
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j67]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-driven verification and synthesis of stochastic systems via barrier certificates. Autom. 159: 111323 (2024) - [j66]Daniel Ajeleye
, Majid Zamani
:
Data-Driven Controller Synthesis via Co-Büchi Barrier Certificates With Formal Guarantees. IEEE Control. Syst. Lett. 8: 958-963 (2024) - [j65]Bingzhuo Zhong
, Majid Zamani
, Marco Caccamo
:
Formal Synthesis of Controllers for Uncertain Linear Systems Against -Regular Properties: A Set-Based Approach. IEEE Trans. Autom. Control. 69(1): 214-229 (2024) - 2023
- [j64]Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo:
Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations. Autom. 147: 110696 (2023) - [j63]Ameneh Nejati
, Abolfazl Lavaei
, Sadegh Soudjani
, Majid Zamani
:
Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach. IEEE Control. Syst. Lett. 7: 223-228 (2023) - [j62]Ali Salamati
, Majid Zamani
:
Safety Verification of Stochastic Systems: A Repetitive Scenario Approach. IEEE Control. Syst. Lett. 7: 448-453 (2023) - [j61]Abolfazl Lavaei
, Sadegh Soudjani
, Emilio Frazzoli
, Majid Zamani
:
Constructing MDP Abstractions Using Data With Formal Guarantees. IEEE Control. Syst. Lett. 7: 460-465 (2023) - [j60]Junyao Hou
, Siyuan Liu
, Xiang Yin
, Majid Zamani
:
Abstraction-Based Verification of Approximate Preopacity for Control Systems. IEEE Control. Syst. Lett. 7: 1087-1092 (2023) - [j59]Mahendra Singh Tomar
, Majid Zamani
:
Toward Minimal Data Rate Enforcing Regular Safety Properties: An Invariance Entropy Approach. IEEE Control. Syst. Lett. 7: 1476-1481 (2023) - [j58]Ameneh Nejati
, Majid Zamani
:
Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates. IEEE Control. Syst. Lett. 7: 2497-2502 (2023) - [j57]Daniel Ajeleye
, Abolfazl Lavaei
, Majid Zamani
:
Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees. IEEE Control. Syst. Lett. 7: 3453-3458 (2023) - [j56]Asad Ullah Awan
, Majid Zamani
:
Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning. IEEE Control. Syst. Lett. 7: 3741-3746 (2023) - [j55]Asad Ullah Awan
, Majid Zamani:
Abstractions of networks of stochastic hybrid systems under randomly switched topologies: A compositional approach. Syst. Control. Lett. 175: 105512 (2023) - [j54]Christoph Kawan
, Majid Zamani:
A Lyapunov-Based Small-Gain Theory for Infinite Networks via Infinite-Dimensional Gain Operators. SIAM J. Control. Optim. 61(3): 1778-1804 (2023) - [j53]Christoph Kawan
, Andrii Mironchenko
, Majid Zamani
:
A Lyapunov-Based ISS Small-Gain Theorem for Infinite Networks of Nonlinear Systems. IEEE Trans. Autom. Control. 68(3): 1447-1462 (2023) - [j52]Ameneh Nejati
, Abolfazl Lavaei
, Pushpak Jagtap
, Sadegh Soudjani
, Majid Zamani
:
Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. IEEE Trans. Autom. Control. 68(5): 3011-3024 (2023) - [j51]Mahmoud Khaled
, Kuize Zhang
, Majid Zamani
:
A Framework for Output-Feedback Symbolic Control. IEEE Trans. Autom. Control. 68(9): 5600-5607 (2023) - [j50]Niloofar Jahanshahi
, Abolfazl Lavaei
, Majid Zamani
:
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. IEEE Trans. Control. Netw. Syst. 10(1): 87-99 (2023) - 2022
- [j49]Siyuan Liu
, Ashutosh Trivedi, Xiang Yin, Majid Zamani:
Secure-by-construction synthesis of cyber-physical systems. Annu. Rev. Control. 53: 30-50 (2022) - [j48]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional construction of control barrier functions for continuous-time stochastic hybrid systems. Autom. 145: 110513 (2022) - [j47]Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated verification and synthesis of stochastic hybrid systems: A survey. Autom. 146: 110617 (2022) - [j46]Shadi Tasdighi Kalat
, Siyuan Liu
, Majid Zamani
:
Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates. IEEE Control. Syst. Lett. 6: 890-895 (2022) - [j45]Navid Noroozi
, Ali Salamati
, Majid Zamani
:
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach. IEEE Control. Syst. Lett. 6: 2210-2215 (2022) - [j44]Vishnu Murali
, Ashutosh Trivedi
, Majid Zamani
:
A Scenario Approach for Synthesizing k-Inductive Barrier Certificates. IEEE Control. Syst. Lett. 6: 3247-3252 (2022) - [j43]Mahendra Singh Tomar
, Majid Zamani
:
Modular Computation of Restoration Entropy for Networks of Systems: A Dissipativity Approach. IEEE Control. Syst. Lett. 6: 3289-3294 (2022) - [j42]Navid Noroozi
, Andrii Mironchenko, Christoph Kawan
, Majid Zamani:
A small-gain theorem for set stability of infinite networks: Distributed observation and ISS for time-varying networks. Eur. J. Control 67: 100634 (2022) - [j41]Ameneh Nejati, Majid Zamani:
From Dissipativity Theory to Compositional Construction of Control Barrier Certificates. Leibniz Trans. Embed. Syst. 8(2): 06:1-06:17 (2022) - [j40]Mahendra Singh Tomar
, Christoph Kawan, Majid Zamani:
Numerical over-approximation of invariance entropy via finite abstractions. Syst. Control. Lett. 170: 105395 (2022) - [j39]Abolfazl Lavaei
, Majid Zamani
:
From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems. IEEE Trans. Autom. Control. 67(9): 4422-4437 (2022) - [j38]Mahathi Anand
, Abolfazl Lavaei
, Majid Zamani
:
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. IEEE Trans. Autom. Control. 67(10): 5638-5645 (2022) - 2021
- [j37]Siyuan Liu
, Majid Zamani:
Compositional synthesis of opacity-preserving finite abstractions for interconnected systems. Autom. 131: 109745 (2021) - [j36]Ali Salamati, Sadegh Soudjani, Majid Zamani:
Data-driven verification of stochastic linear systems with signal temporal logic constraints. Autom. 131: 109781 (2021) - [j35]Abdalla Swikir
, Antoine Girard, Majid Zamani:
Symbolic Models for a Class of Impulsive Systems. IEEE Control. Syst. Lett. 5(1): 247-252 (2021) - [j34]Niloofar Jahanshahi, Pushpak Jagtap
, Majid Zamani:
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. IEEE Control. Syst. Lett. 5(1): 253-258 (2021) - [j33]Siyuan Liu
, Majid Zamani
:
Verification of Approximate Opacity via Barrier Certificates. IEEE Control. Syst. Lett. 5(4): 1369-1374 (2021) - [j32]Mahmoud Khaled
, Majid Zamani
:
Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems. IEEE Des. Test 38(5): 25-34 (2021) - [j31]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. Eur. J. Control 57: 82-94 (2021) - [j30]Andrii Mironchenko, Navid Noroozi, Christoph Kawan, Majid Zamani:
ISS small-gain criteria for infinite networks with linear gain functions. Syst. Control. Lett. 157: 105051 (2021) - [j29]Xiang Yin
, Majid Zamani
, Siyuan Liu
:
On Approximate Opacity of Cyber-Physical Systems. IEEE Trans. Autom. Control. 66(4): 1630-1645 (2021) - [j28]Pushpak Jagtap
, Sadegh Soudjani
, Majid Zamani
:
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. IEEE Trans. Autom. Control. 66(7): 3097-3110 (2021) - [j27]Mahendra Singh Tomar
, Matthias Rungger
, Majid Zamani
:
Invariance Feedback Entropy of Uncertain Control Systems. IEEE Trans. Autom. Control. 66(12): 5680-5695 (2021) - [j26]Christoph Kawan
, Andrii Mironchenko
, Abdalla Swikir
, Navid Noroozi
, Majid Zamani
:
A Lyapunov-Based Small-Gain Theorem for Infinite Networks. IEEE Trans. Autom. Control. 66(12): 5830-5844 (2021) - [j25]Adnane Saoud
, Pushpak Jagtap
, Majid Zamani
, Antoine Girard
:
Compositional Abstraction-Based Synthesis for Interconnected Systems: An Approximate Composition Approach. IEEE Trans. Control. Netw. Syst. 8(2): 702-712 (2021) - 2020
- [j24]Pushpak Jagtap
, Majid Zamani:
Symbolic models for retarded jump-diffusion systems. Autom. 111 (2020) - [j23]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional abstraction-based synthesis for networks of stochastic switched systems. Autom. 114: 108827 (2020) - [j22]Stanley W. Smith, Murat Arcak
, Majid Zamani:
Approximate abstractions of control systems with an application to aggregation. Autom. 119: 109065 (2020) - [j21]Mahendra Singh Tomar, Majid Zamani:
Compositional Quantification of Invariance Feedback Entropy for Networks of Uncertain Control Systems. IEEE Control. Syst. Lett. 4(4): 827-832 (2020) - [j20]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. IEEE Control. Syst. Lett. 4(4): 845-850 (2020) - [j19]Abolfazl Lavaei
, Sadegh Soudjani
, Majid Zamani
:
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. IEEE Trans. Autom. Control. 65(12): 5280-5295 (2020) - [j18]Asad Ullah Awan
, Majid Zamani
:
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems. IEEE Trans. Control. Netw. Syst. 7(1): 433-445 (2020) - [j17]Pushpak Jagtap
, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo:
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. ACM Trans. Cyber Phys. Syst. 4(4): 47:1-47:20 (2020) - 2019
- [j16]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional construction of infinite abstractions for networks of stochastic control systems. Autom. 107: 125-137 (2019) - [j15]Abdalla Swikir
, Majid Zamani:
Compositional synthesis of finite abstractions for networks of systems: A small-gain approach. Autom. 107: 551-561 (2019) - [j14]Abdalla Swikir
, Majid Zamani
:
Compositional Synthesis of Symbolic Models for Networks of Switched Systems. IEEE Control. Syst. Lett. 3(4): 1056-1061 (2019) - [j13]Kuize Zhang
, Xiang Yin
, Majid Zamani
:
Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach. IEEE Trans. Autom. Control. 64(12): 5116-5123 (2019) - 2018
- [j12]Pushpak Jagtap
, Majid Zamani
:
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps. IEEE Trans. Autom. Control. 63(1): 255-261 (2018) - [j11]Matthias Rungger, Majid Zamani:
Compositional Construction of Approximate Abstractions of Interconnected Control Systems. IEEE Trans. Control. Netw. Syst. 5(1): 116-127 (2018) - [j10]Majid Zamani
, Murat Arcak
:
Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach. IEEE Trans. Control. Netw. Syst. 5(3): 1003-1015 (2018) - [j9]Majid Zamani
, Manuel Mazo Jr.
, Mahmoud Khaled, Alessandro Abate:
Symbolic Abstractions of Networked Control Systems. IEEE Trans. Control. Netw. Syst. 5(4): 1622-1634 (2018) - 2017
- [j8]Majid Zamani
, Ilya Tkachev, Alessandro Abate:
Towards scalable synthesis of stochastic control systems. Discret. Event Dyn. Syst. 27(2): 341-369 (2017) - [j7]Majid Zamani
, Matthias Rungger, Peyman Mohajerin Esfahani
:
Approximations of Stochastic Hybrid Systems: A Compositional Approach. IEEE Trans. Autom. Control. 62(6): 2838-2853 (2017) - 2015
- [j6]Majid Zamani
, Alessandro Abate, Antoine Girard
:
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. Autom. 55: 183-196 (2015) - 2014
- [j5]Majid Zamani
, Alessandro Abate:
Approximately bisimilar symbolic models for randomly switched stochastic systems. Syst. Control. Lett. 69: 38-46 (2014) - [j4]Majid Zamani
, Peyman Mohajerin Esfahani
, Rupak Majumdar, Alessandro Abate, John Lygeros:
Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions. IEEE Trans. Autom. Control. 59(12): 3135-3150 (2014) - 2013
- [j3]Majid Zamani
, Nathan van de Wouw, Rupak Majumdar:
Backstepping controller synthesis and characterizations of incremental stability. Syst. Control. Lett. 62(10): 949-962 (2013) - 2012
- [j2]Majid Zamani
, Giordano Pola, Manuel Mazo Jr.
, Paulo Tabuada
:
Symbolic Models for Nonlinear Control Systems Without Stability Assumptions. IEEE Trans. Autom. Control. 57(7): 1804-1809 (2012) - 2011
- [j1]Majid Zamani, Paulo Tabuada:
Backstepping Design for Incremental Stability. IEEE Trans. Autom. Control. 56(9): 2184-2189 (2011)
Conference and Workshop Papers
- 2024
- [c113]Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Neural Closure Certificates. AAAI 2024: 21446-21453 - [c112]Vishnu Murali
, Ashutosh Trivedi
, Majid Zamani
:
Closure Certificates. HSCC 2024: 10:1-10:11 - 2023
- [c111]Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo:
Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games. AAAI 2023: 15340-15349 - [c110]Niloofar Jahanshahi, Majid Zamani:
Data-Driven Synthesis of Safety Controllers for Partially-Observable Systems with Unknown Models. CDC 2023: 1052-1057 - [c109]Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani:
Towards Trustworthy AI: Sandboxing AI-Based Unverified Controllers for Safe and Secure Cyber-Physical Systems. CDC 2023: 1833-1840 - [c108]Vishnu Murali, Shadi Tasdighi Kalat, Majid Zamani:
A Data-Driven Approach to Approximate Opacity Verification. CDC 2023: 5085-5090 - [c107]Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani:
Abstraction-Based Synthesis of Controllers for Approximate Opacity. CDC 2023: 7930-7936 - [c106]Alireza Nadali, Ashutosh Trivedi, Majid Zamani:
Transfer Learning for Barrier Certificates. CDC 2023: 8000-8005 - 2022
- [c105]Mahendra Singh Tomar, Majid Zamani:
On a notion of entropy for reachability properties. ACC 2022: 781-786 - [c104]Bingzhuo Zhong, Majid Zamani, Marco Caccamo:
A Set-based Approach for Synthesizing Controllers Enforcing ω-Regular Properties over Uncertain Linear Control Systems. ACC 2022: 1575-1581 - [c103]Bingzhuo Zhong, Majid Zamani, Marco Caccamo:
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach. CCTA 2022: 1278-1284 - [c102]Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani:
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CDC 2022: 2184-2189 - [c101]Abolfazl Lavaei, Peyman Mohajerin Esfahani, Majid Zamani:
Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics*. CDC 2022: 7296-7301 - [c100]Shadi Tasdighi Kalat, Siyuan Liu, Majid Zamani:
Verification of approximate infinite-step opacity using barrier certificates. ECC 2022: 175-180 - [c99]Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
k-Inductive Barrier Certificates for Stochastic Systems. HSCC 2022: 12:1-12:11 - [c98]Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo:
Poster Abstract: Controller Synthesis for Nonlinear Stochastic Games via Approximate Probabilistic Relations. HSCC 2022: 25:1-25:2 - [c97]Ali Salamati, Majid Zamani:
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach. L4DC 2022: 441-452 - [c96]Rameez Wajid, Asad Ullah Awan, Majid Zamani:
Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning. L4DC 2022: 624-636 - [c95]Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, Majid Zamani:
Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates. L4DC 2022: 763-776 - 2021
- [c94]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. ADHS 2021: 7-12 - [c93]Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. ADHS 2021: 277-282 - [c92]Siyuan Liu, Majid Zamani:
Verification of Approximate Opacity via Barrier Certificates. ACC 2021: 764-769 - [c91]Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates. CDC 2021: 1314-1320 - [c90]Christoph Kawan, Andrii Mironchenko, Majid Zamani:
Construction of ISS Lyapunov functions for infinite networks of ISS systems. CDC 2021: 4811-4816 - [c89]Andrii Mironchenko, Navid Noroozi, Christoph Kawan, Majid Zamani:
A small-gain approach to ISS of infinite networks with homogeneous gain operators. CDC 2021: 4817-4822 - [c88]Yifan Xie, Xiang Yin, Shaoyuan Li, Majid Zamani:
Secure-by-Construction Controller Synthesis for Stochastic Systems under Linear Temporal Logic Specifications. CDC 2021: 7015-7021 - [c87]Abolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, Majid Zamani:
Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems. CAADCPS@CPSIoTWeek 2021: 7-8 - [c86]Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Formal verification of hyperproperties for control systems. CAADCPS@CPSIoTWeek 2021: 29-30 - [c85]Mahmoud Khaled, Majid Zamani:
OmegaThreads: symbolic controller design for ω-regular objectives. HSCC 2021: 25:1-25:7 - [c84]Abolfazl Lavaei, Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. HSCC 2021: 28:1-28:2 - [c83]Abolfazl Lavaei, Ameneh Nejati, Pushpak Jagtap, Majid Zamani:
Formal safety verification of unknown continuous-time systems: a data-driven approach. HSCC 2021: 29:1-29:2 - [c82]Mahmoud Khaled, Majid Zamani:
OmegaThreads: symbolic controller design for ω-regular objectives. HSCC 2021: 33:1-33:2 - 2020
- [c81]Siyuan Liu
, Xiang Yin, Majid Zamani:
On a Notion of Approximate Opacity for Discrete-Time Stochastic Control Systems. ACC 2020: 5413-5418 - [c80]Mohammad Al Khatib, Majid Zamani:
Controller synthesis for interconnected systems using parametric assume-guarantee contracts. ACC 2020: 5419-5424 - [c79]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:
ARCH-COMP20 Category Report: Stochastic Models. ARCH 2020: 76-106 - [c78]Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CAV (2) 2020: 461-474 - [c77]Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani:
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. CAV (1) 2020: 556-568 - [c76]Maryam Sharifi, Abdalla Swikir
, Navid Noroozi, Majid Zamani:
Compositional Construction of Abstractions for Infinite Networks of Switched Systems. CDC 2020: 476-481 - [c75]Mobin Shahamat, Javad Askari, Abdalla Swikir
, Navid Noroozi, Majid Zamani:
Construction of continuous abstractions for discrete-time time-delay systems. CDC 2020: 881-886 - [c74]Siyuan Liu, Abdalla Swikir
, Majid Zamani:
Compositional Verification of Initial-State Opacity for Switched Systems. CDC 2020: 2146-2151 - [c73]Pushpak Jagtap, George J. Pappas
, Majid Zamani:
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CDC 2020: 3699-3704 - [c72]Shuo Yang, Xiang Yin, Shaoyuan Li, Majid Zamani:
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks. CDC 2020: 4460-4466 - [c71]Pranav Ashok
, Mathias Jackermeier, Pushpak Jagtap
, Jan Kretínský, Maximilian Weininger
, Majid Zamani:
dtControl: decision tree learning algorithms for controller representation. HSCC 2020: 17:1-17:7 - [c70]Pushpak Jagtap
, Abdalla Swikir
, Majid Zamani:
Compositional construction of control barrier functions for interconnected control systems. HSCC 2020: 22:1-22:11 - [c69]Pranav Ashok, Mathias Jackermeier
, Pushpak Jagtap
, Jan Kretínský, Maximilian Weininger
, Majid Zamani:
dtControl: decision tree learning algorithms for controller representation. HSCC 2020: 30:1-30:2 - [c68]Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: a parallelized tool on automated controller synthesis for large-scale stochastic systems. HSCC 2020: 31:1-31:2 - [c67]Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. ICCPS 2020: 98-107 - 2019
- [c66]Siyuan Liu
, Majid Zamani:
Compositional synthesis of almost maximally permissible safety controllers. ACC 2019: 1678-1683 - [c65]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Approximate Probabilistic Relations for Compositional Abstractions of Stochastic Systems. NSV@CAV 2019: 101-109 - [c64]Abolfazl Lavaei, Majid Zamani:
Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions. CDC 2019: 2574-2579 - [c63]Mahathi Anand, Pushpak Jagtap
, Majid Zamani:
Verification of Switched Stochastic Systems via Barrier Certificates. CDC 2019: 4373-4378 - [c62]Junyao Hou, Xiang Yin, Shaoyuan Li, Majid Zamani:
Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations. CDC 2019: 7653-7658 - [c61]Abdalla Swikir
, Majid Zamani:
Compositional Abstractions of Interconnected Discrete-Time Switched Systems. ECC 2019: 1251-1256 - [c60]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions. ECC 2019: 2802-2807 - [c59]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems. ECC 2019: 3212-3217 - [c58]Bingzhuo Zhong
, Majid Zamani
, Marco Caccamo
:
Sandboxing Controllers for Stochastic Cyber-Physical Systems. FORMATS 2019: 247-264 - [c57]Mohammad Al Khatib, Majid Zamani:
Verification and synthesis of interconnected embedded control systems under timing contracts. HSCC 2019: 208-217 - [c56]Mahmoud Khaled, Majid Zamani:
pFaces: an acceleration ecosystem for symbolic control. HSCC 2019: 252-257 - [c55]Xiang Yin, Majid Zamani:
Towards approximate opacity of cyber-physical system: WIP abstract. ICCPS 2019: 310-311 - [c54]Abolfazl Lavaei, Majid Zamani:
Compositional finite abstractions for large-scale stochastic switched systems. SNR 2019: 3-5 - [c53]Mahmoud Khaled, Eric S. Kim, Murat Arcak, Majid Zamani:
Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach. TACAS (2) 2019: 265-281 - 2018
- [c52]Adnane Saoud, Pushpak Jagtap
, Majid Zamani, Antoine Girard:
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. ADHS 2018: 13-18 - [c51]Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, Majid Zamani:
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. ARCH@ADHS 2018: 53-70 - [c50]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach. ADHS 2018: 265-270 - [c49]Asad Ullah Awan, Majid Zamani:
Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies. ACC 2018: 1586-1591 - [c48]Stanley W. Smith, Murat Arcak, Majid Zamani:
Hierarchical Control via an Approximate Aggregate Manifold. ACC 2018: 2378-2383 - [c47]Pushpak Jagtap
, Sadegh Soudjani, Majid Zamani:
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. ATVA 2018: 177-193 - [c46]Asad Ullah Awan, Samuel Coogan
, Majid Zamani:
Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach. CDC 2018: 3783-3788 - [c45]Asad Ullah Awan, Majid Zamani:
Compositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approach. CDC 2018: 3789-3794 - [c44]Navid Noroozi, Abdalla Swikir
, Fabian R. Wirth
, Majid Zamani:
Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case. ECC 2018: 1-4 - [c43]Navid Noroozi, Fabian R. Wirth
, Majid Zamani:
Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case. ECC 2018: 76-81 - [c42]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. HSCC 2018: 21-30 - [c41]Matthias Rungger, Majid Zamani:
Accurate reachability analysis of uncertain nonlinear systems. HSCC 2018: 61-70 - [c40]Eric S. Kim, Murat Arcak
, Majid Zamani:
Constructing Control System Abstractions from Modular Components. HSCC 2018: 137-146 - [c39]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs. HSCC 2018: 273-274 - [c38]Abdalla Swikir
, Antoine Girard, Majid Zamani:
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach. HSCC 2018: 275-276 - [c37]Eric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani:
Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. HSCC 2018: 285-286 - [c36]Mahmoud Khaled, Matthias Rungger, Majid Zamani:
SENSE: Abstraction-Based Synthesis of Networked Control Systems. MeTRiD@ETAPS 2018: 65-78 - 2017
- [c35]Asad Ullah Awan, Majid Zamani:
Compositional abstraction of interconnected control systems under dynamic interconnection topology. CDC 2017: 3543-3550 - [c34]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani:
Compositional abstractions of interconnected discrete-time stochastic control systems. CDC 2017: 3551-3556 - [c33]Matthias Rungger, Majid Zamani:
On the invariance feedback entropy of linear perturbed control systems. CDC 2017: 3998-4003 - [c32]Kuize Zhang, Majid Zamani:
Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach. CDC 2017: 5615-5619 - [c31]Matthias Rungger, Majid Zamani
:
Invariance Feedback Entropy of Nondeterministic Control Systems. HSCC 2017: 91-100 - [c30]Fardin Abdi, Rohan Tabish, Matthias Rungger, Majid Zamani
, Marco Caccamo:
Application and system-level software fault tolerance through full system restarts. ICCPS 2017: 197-206 - [c29]Pushpak Jagtap
, Majid Zamani
:
QUEST: A Tool for State-Space Quantization-Free Synthesis of Symbolic Controllers. QEST 2017: 309-313 - 2016
- [c28]Mahmoud Khaled, Matthias Rungger, Majid Zamani
:
Symbolic models of networked control systems: A feedback refinement relation approach. Allerton 2016: 187-193 - [c27]Pushpak Jagtap
, Majid Zamani
:
On incremental stability of time-delayed stochastic control systems. Allerton 2016: 577-581 - [c26]Asad Ullah Awan, Majid Zamani
:
On a notion of estimation entropy for stochastic hybrid systems. Allerton 2016: 780-785 - [c25]Pushpak Jagtap
, Majid Zamani
:
Backstepping design for incremental stability of stochastic Hamiltonian systems. CDC 2016: 5367-5372 - [c24]Matthias Rungger, Gunther Reissig, Majid Zamani
:
Symbolic synthesis with average performance guarantees. CDC 2016: 7404-7410 - [c23]Ondrej Holub, Majid Zamani
, Alessandro Abate:
Efficient HVAC controls: A symbolic approach. ECC 2016: 1159-1164 - [c22]Majid Zamani
, Soumyajit Dey, Sajid Mohamed
, Pallab Dasgupta, Manuel Mazo Jr.
:
Scheduling of Controllers' Update-Rates for Residual Bandwidth Utilization. FORMATS 2016: 85-101 - [c21]Matthias Rungger, Majid Zamani
:
SCOTS: A Tool for the Synthesis of Symbolic Controllers. HSCC 2016: 99-104 - 2015
- [c20]Majid Zamani
, Antoine Girard
:
Bisimilar symbolic models for stochastic switched systems: A discretization-free approach. ACC 2015: 1923-1928 - [c19]Majid Zamani
, Matthias Rungger, Peyman Mohajerin Esfahani
:
Construction of approximations of stochastic control systems: A compositional approach. CDC 2015: 525-530 - [c18]Wanli Chang, Alma Pröbstl, Dip Goswami, Majid Zamani
, Samarjit Chakraborty
:
Reliable CPS Design for Mitigating Semiconductor and Battery Aging in Electric Vehicles. CPSNA 2015: 37-42 - [c17]Matthias Rungger, Majid Zamani
:
Compositional construction of approximate abstractions. HSCC 2015: 68-77 - 2014
- [c16]Majid Zamani
, Alessandro Abate:
Symbolic models for randomly switched stochastic systems. ACC 2014: 2291-2296 - [c15]Majid Zamani
, Manuel Mazo Jr.
, Alessandro Abate:
Finite abstractions of networked control systems. CDC 2014: 95-100 - [c14]Majid Zamani
:
Compositional approximations of interconnected stochastic hybrid systems. CDC 2014: 3395-3400 - [c13]Majid Zamani
, Ilya Tkachev, Alessandro Abate:
Bisimilar symbolic models for stochastic control systems without state-space discretization. HSCC 2014: 41-50 - [c12]Wanli Chang, Alma Pröbstl, Dip Goswami, Majid Zamani
, Samarjit Chakraborty
:
Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles. RTSS 2014: 238-248 - 2013
- [c11]Majid Zamani
, Peyman Mohajerin Esfahani
, Rupak Majumdar, Alessandro Abate, John Lygeros:
Bisimilar finite abstractions of stochastic control systems. CDC 2013: 3926-3931 - [c10]Majid Zamani, Nathan van de Wouw:
Controller synthesis for incremental stability: Application to symbolic controller synthesis. ECC 2013: 2198-2203 - [c9]Majid Zamani, Peyman Mohajerin Esfahani, Alessandro Abate, John Lygeros:
Symbolic models for stochastic control systems without stability assumptions. ECC 2013: 4257-4262 - [c8]Majid Zamani
, Alessandro Abate:
Symbolic Control of Stochastic Switched Systems via Finite Abstractions. QEST 2013: 305-321 - 2012
- [c7]Rupak Majumdar, Majid Zamani
:
Approximately Bisimilar Symbolic Models for Digital Control Systems. CAV 2012: 362-377 - [c6]Rupak Majumdar, Indranil Saha, Majid Zamani
:
Synthesis of minimal-error control software. EMSOFT 2012: 123-132 - 2011
- [c5]Majid Zamani
, Rupak Majumdar:
A Lyapunov approach in incremental stability. CDC/ECC 2011: 302-307 - [c4]Rupak Majumdar, Indranil Saha, Majid Zamani
:
Performance-aware scheduler synthesis for control systems. EMSOFT 2011: 299-308 - 2010
- [c3]Majid Zamani, Giordano Pola, Paulo Tabuada
:
Symbolic models for unstable nonlinear control systems. ACC 2010: 1021-1026 - [c2]Majid Zamani
, Paulo Tabuada
:
Towards backstepping design for incremental stability. CDC 2010: 2426-2431 - 2007
- [c1]Nasser Sadati, Mahdi Hajian, Majid Zamani
:
Unit Commitment Using Particle Swarm-Based-Simulated Annealing Optimization Approach. SIS 2007: 297-302
Informal and Other Publications
- 2024
- [i81]Siyuan Liu, Xiang Yin, Dimos V. Dimarogonas, Majid Zamani:
On Approximate Opacity of Stochastic Control Systems. CoRR abs/2401.01972 (2024) - [i80]Alireza Nadali, Ashutosh Trivedi, Majid Zamani:
Transfer of Safety Controllers Through Learning Deep Inverse Dynamics Model. CoRR abs/2405.13735 (2024) - [i79]Paul Griffioen, Bingzhuo Zhong, Murat Arcak, Majid Zamani, Marco Caccamo:
Data-Driven Controlled Invariant Sets for Gaussian Process State Space Models. CoRR abs/2407.11256 (2024) - 2023
- [i78]Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Closure Certificates. CoRR abs/2305.17519 (2023) - [i77]Bingzhuo Zhong, Siyuan Liu, Marco Caccamo, Majid Zamani:
Secure-by-Construction Synthesis for Control Systems. CoRR abs/2307.02564 (2023) - [i76]Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Co-Buchi Barrier Certificates for Discrete-time Dynamical Systems. CoRR abs/2311.07695 (2023) - 2022
- [i75]Siyuan Liu, Ashutosh Trivedi, Xiang Yin, Majid Zamani:
Secure-by-Construction Synthesis of Cyber-Physical Systems. CoRR abs/2202.06677 (2022) - [i74]Siyuan Liu, Adnane Saoud, Pushpak Jagtap, Dimos V. Dimarogonas, Majid Zamani:
Compositional Synthesis of Signal Temporal Logic Tasks via Assume-Guarantee Contracts. CoRR abs/2203.10041 (2022) - [i73]Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo:
Sandboxing (AI-based) Unverified Controllers in Stochastic Games: An Abstraction-based Approach with Safe-visor Architecture. CoRR abs/2203.14924 (2022) - [i72]Bingzhuo Zhong, Majid Zamani, Marco Caccamo:
Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach. CoRR abs/2206.00354 (2022) - [i71]Abolfazl Lavaei, Sadegh Soudjani, Emilio Frazzoli, Majid Zamani:
Constructing MDP Abstractions Using Data with Formal Guarantees. CoRR abs/2206.14402 (2022) - [i70]Abolfazl Lavaei, Mateo Perez, Milad Kazemi, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems. CoRR abs/2208.03485 (2022) - [i69]Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani:
Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems. CoRR abs/2211.04098 (2022) - 2021
- [i68]Mahathi Anand, Abolfazl Lavaei, Majid Zamani:
From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems. CoRR abs/2101.06916 (2021) - [i67]Abolfazl Lavaei, Sadegh Soudjani, Alessandro Abate, Majid Zamani:
Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey. CoRR abs/2101.07491 (2021) - [i66]Maryam Sharifi, Abdalla Swikir
, Navid Noroozi, Majid Zamani:
Compositional Construction of Abstractions for Infinite Networks of Discrete-Time Switched Systems. CoRR abs/2101.08873 (2021) - [i65]Siyuan Liu, Navid Noroozi, Majid Zamani:
Symbolic Models for Infinite Networks of Control Systems: A Compositional Approach. CoRR abs/2102.03327 (2021) - [i64]Bingzhuo Zhong, Abolfazl Lavaei, Hongpeng Cao, Majid Zamani, Marco Caccamo:
Safe-visor Architecture for Sandboxing (AI-based) Unverified Controllers in Stochastic Cyber-Physical Systems. CoRR abs/2102.05490 (2021) - [i63]Mahathi Anand, Abolfazl Lavaei, Majid Zamani:
Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications. CoRR abs/2103.02226 (2021) - [i62]Niloofar Jahanshahi, Abolfazl Lavaei, Majid Zamani:
Compositional Construction of Safety Controllers for Networks of Continuous-Space POMDPs. CoRR abs/2103.05906 (2021) - [i61]Bingzhuo Zhong, Abolfazl Lavaei, Majid Zamani, Marco Caccamo:
Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations. CoRR abs/2104.11803 (2021) - [i60]Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani:
Formal Verification of Control Systems against Hyperproperties via Barrier Certificates. CoRR abs/2105.05493 (2021) - [i59]Siyuan Liu, Majid Zamani:
Verification of Approximate Opacity via Barrier Certificates. CoRR abs/2109.10993 (2021) - [i58]Bingzhuo Zhong, Majid Zamani, Marco Caccamo:
Sandboxing Controllers for Stochastic Cyber-Physical Systems. CoRR abs/2109.11264 (2021) - [i57]Niloofar Jahanshahi, Pushpak Jagtap, Majid Zamani:
Synthesis of Partially Observed Jump-Diffusion Systems via Control Barrier Functions. CoRR abs/2109.11477 (2021) - [i56]Siyuan Liu, Majid Zamani:
Compositional synthesis of almost maximally permissible safety controllers. CoRR abs/2109.11977 (2021) - [i55]Siyuan Liu, Abdalla Swikir, Majid Zamani:
Compositional Verification of Initial-State Opacity for Switched Systems. CoRR abs/2109.12024 (2021) - [i54]Mahathi Anand, Pushpak Jagtap, Majid Zamani:
Verification of Switched Stochastic Systems via Barrier Certificates. CoRR abs/2109.12420 (2021) - [i53]Abdalla Swikir, Majid Zamani:
Compositional Abstractions of Interconnected Discrete-Time Switched Systems. CoRR abs/2109.13599 (2021) - [i52]Maryam Sharifi, Abdalla Swikir, Navid Noroozi, Majid Zamani:
Compositional Construction of Abstractions for Infinite Networks of Switched Systems. CoRR abs/2109.13832 (2021) - [i51]Bingzhuo Zhong, Majid Zamani, Marco Caccamo:
Formal Synthesis of Controllers for Uncertain Linear Systems against ω-Regular Properties: A Set-based Approach. CoRR abs/2111.08734 (2021) - [i50]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-driven verification and synthesis of stochastic systems through barrier certificates. CoRR abs/2111.10330 (2021) - [i49]Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Data-driven Safety Verification of Stochastic Systems via Barrier Certificates. CoRR abs/2112.12709 (2021) - 2020
- [i48]Alex Devonport, Mahmoud Khaled, Murat Arcak, Majid Zamani:
PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems. CoRR abs/2001.10635 (2020) - [i47]Pushpak Jagtap, Abdalla Swikir, Majid Zamani:
Compositional Construction of Control Barrier Functions for Interconnected Control Systems. CoRR abs/2002.00257 (2020) - [i46]Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard:
Compositional Abstraction-based Synthesis for Interconnected Systems: An Approximate Composition Approach. CoRR abs/2002.02014 (2020) - [i45]Pranav Ashok, Mathias Jackermeier, Pushpak Jagtap, Jan Kretínský, Maximilian Weininger, Majid Zamani:
dtControl: Decision Tree Learning Algorithms for Controller Representation. CoRR abs/2002.04991 (2020) - [i44]Abolfazl Lavaei, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Majid Zamani:
Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning. CoRR abs/2003.00712 (2020) - [i43]Siyuan Liu
, Majid Zamani:
Compositional Synthesis of Opacity-Preserving Finite Abstractions for Interconnected Systems. CoRR abs/2004.00131 (2020) - [i42]Mahendra Singh Tomar, Christoph Kawan, Pushpak Jagtap, Majid Zamani:
Numerical Estimation of Invariance Entropy for Nonlinear Control Systems. CoRR abs/2004.04779 (2020) - [i41]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. CoRR abs/2005.01287 (2020) - [i40]Ameneh Nejati, Majid Zamani:
Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach. CoRR abs/2005.01970 (2020) - [i39]Ali Salamati, Sadegh Soudjani, Majid Zamani:
Data-Driven Verification under Signal Temporal Logic Constraints. CoRR abs/2005.05040 (2020) - [i38]Abolfazl Lavaei, Mahmoud Khaled, Sadegh Soudjani, Majid Zamani:
AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems. CoRR abs/2005.06191 (2020) - [i37]Abdalla Swikir, Antoine Girard, Majid Zamani:
Symbolic Models for a Class of Impulsive Systems. CoRR abs/2005.08409 (2020) - [i36]Siyuan Liu
, Abdalla Swikir
, Majid Zamani:
Verification of Initial-State Opacity for Switched Systems: A Compositional Approach. CoRR abs/2006.16661 (2020) - [i35]Pushpak Jagtap, George J. Pappas, Majid Zamani:
Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes. CoRR abs/2010.05818 (2020) - [i34]Shuo Yang, Xiang Yin, Shaoyuan Li, Majid Zamani:
Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks. CoRR abs/2010.14160 (2020) - [i33]Mahmoud Khaled, Kuize Zhang, Majid Zamani:
Output-Feedback Symbolic Control. CoRR abs/2011.14848 (2020) - [i32]Ameneh Nejati, Sadegh Soudjani, Majid Zamani:
Compositional Construction of Control Barrier Functions for Continuous-Time Stochastic Hybrid Systems. CoRR abs/2012.07296 (2020) - 2019
- [i31]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of Large-Scale Stochastic Systems: A Relaxed Dissipativity Approach. CoRR abs/1902.01223 (2019) - [i30]Xiang Yin, Majid Zamani:
On Approximate Opacity of Cyber-Physical Systems. CoRR abs/1902.09411 (2019) - [i29]Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Formal Synthesis of Stochastic Systems via Control Barrier Certificates. CoRR abs/1905.04585 (2019) - [i28]Abdalla Swikir, Majid Zamani:
Compositional Synthesis of Symbolic Models for Networks of Switched Systems. CoRR abs/1905.12808 (2019) - [i27]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Abstraction-based Synthesis of General MDPs via Approximate Probabilistic Relations. CoRR abs/1906.02930 (2019) - [i26]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Abstraction-based Synthesis for Networks of Stochastic Switched Systems. CoRR abs/1912.11481 (2019) - 2018
- [i25]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani:
Compositional Construction of Infinite Abstractions for Networks of Stochastic Control Systems. CoRR abs/1801.10505 (2018) - [i24]Kuize Zhang, Xiang Yin, Majid Zamani:
Opacity of nondeterministic transition systems: A (bi)simulation relation approach. CoRR abs/1802.03321 (2018) - [i23]Abdalla Swikir, Majid Zamani:
Compositional Synthesis of Finite Abstractions for Networks of Systems: A Small-Gain Approach. CoRR abs/1805.06271 (2018) - [i22]Asad Ullah Awan, Majid Zamani:
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems. CoRR abs/1805.08815 (2018) - [i21]Asad Ullah Awan, Majid Zamani:
Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies. CoRR abs/1806.04916 (2018) - [i20]Pushpak Jagtap, Sadegh Soudjani, Majid Zamani:
Temporal Logic Verification of Stochastic Systems Using Barrier Certificates. CoRR abs/1807.00064 (2018) - [i19]Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional (In)Finite Abstractions for Large-Scale Interconnected Stochastic Systems. CoRR abs/1808.00893 (2018) - [i18]Pushpak Jagtap, Fardin Abdi, Matthias Rungger, Majid Zamani, Marco Caccamo:
Software Fault Tolerance for Cyber-Physical Systems via Full System Restart. CoRR abs/1812.03546 (2018) - 2017
- [i17]Pushpak Jagtap, Majid Zamani:
Automated Synthesis of Infinite Dimensional Stochastic Hybrid Systems. CoRR abs/1704.03690 (2017) - [i16]Matthias Rungger, Majid Zamani:
Invariance Feedback Entropy of Uncertain Control Systems. CoRR abs/1706.05242 (2017) - [i15]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar, Majid Zamani:
Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems. CoRR abs/1709.10312 (2017) - [i14]Abdalla Swikir, Antoine Girard, Majid Zamani:
From dissipativity theory to compositional synthesis of symbolic models. CoRR abs/1710.05585 (2017) - [i13]Philipp J. Meyer, Matthias Rungger, Michael Luttenberger, Javier Esparza, Majid Zamani:
Quantitative Implementation Strategies for Safety Controllers. CoRR abs/1712.05278 (2017) - [i12]Abolfazl Lavaei, Sadegh Esmaeil Zadeh Soudjani, Majid Zamani:
From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. CoRR abs/1712.07793 (2017) - [i11]Calin Belta, Rupak Majumdar, Majid Zamani, Matthias Rungger:
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). Dagstuhl Reports 7(5): 84-96 (2017) - 2016
- [i10]Majid Zamani, Ilya Tkachev, Alessandro Abate:
Towards Scalable Synthesis of Stochastic Control Systems. CoRR abs/1602.01358 (2016) - [i9]Pushpak Jagtap, Majid Zamani:
Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps. CoRR abs/1605.05486 (2016) - [i8]Majid Zamani, Murat Arcak:
Compositional abstraction for networks of control systems: A dissipativity approach. CoRR abs/1608.01590 (2016) - 2015
- [i7]Matthias Rungger, Majid Zamani:
Compositional Construction of Approximate Abstractions of Interconnected Control Systems. CoRR abs/1507.05014 (2015) - [i6]Majid Zamani, Matthias Rungger, Peyman Mohajerin Esfahani:
Approximations of Stochastic Hybrid Systems: A Compositional Approach. CoRR abs/1508.06496 (2015) - 2014
- [i5]Majid Zamani, Manuel Mazo Jr., Alessandro Abate:
Symbolic Models for Networked Control Systems. CoRR abs/1401.6396 (2014) - [i4]Majid Zamani, Alessandro Abate, Antoine Girard:
Symbolic Models for Stochastic Switched Systems: A Discretization and a Discretization-Free Approach. CoRR abs/1407.2730 (2014) - 2013
- [i3]Majid Zamani, Peyman Mohajerin Esfahani, Rupak Majumdar, Alessandro Abate, John Lygeros:
Symbolic control of stochastic systems via approximately bisimilar finite abstractions. CoRR abs/1302.3868 (2013) - 2012
- [i2]Rupak Majumdar, Indranil Saha, Majid Zamani:
Synthesis of Minimal Error Control Software. CoRR abs/1204.2857 (2012) - 2011
- [i1]Majid Zamani, Rupak Majumdar:
Coordinate-invariant incremental Lyapunov functions. CoRR abs/1107.2681 (2011)
Coauthor Index
aka: Sadegh Soudjani
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-29 20:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint