Majid Zamani

1. Automated Verification and Synthesis of Stochastic Hybrid Systems: A Survey
   2021/01/19 by Abolfazl Lavaei, Lavaei, Abolfazl, Sadegh Soudjani +5 · 15 citations
   Computer Science · Engineering · #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Methods in Verification #Fuel Cells and Related Materials #Logic in Computer Science (cs.LO) #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
2. Control Barrier Functions for Unknown Nonlinear Systems using Gaussian\n Processes
   2020/10/12 by Pushpak Jagtap, Jagtap, Pushpak, George J. Pappas +3 · 11 citations
   Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Computer and information sciences #FOS: Electrical engineering #Fault Detection and Control Systems #Gaussian Processes and Bayesian Inference #Machine Learning (cs.LG) #Systems and Control (eess.SY) #electronic engineering #information engineering
3. Symbolic control of stochastic systems via approximately bisimilar\n finite abstractions
   2013/02/15 by Majid Zamani, Zamani, Majid, Peyman Mohajerin Esfahani +7 · 6 citations
   Computer Science · Engineering · #FOS: Electrical engineering #FOS: Mathematics #Formal Methods in Verification #Optimization and Control (math.OC) #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research #Systems and Control (eess.SY) #electronic engineering #information engineering
4. Secure-by-Construction Synthesis of Cyber-Physical Systems
   2022/02/14 by Siyuan Liu, Ashutosh Trivedi, Liu, Siyuan +5 · 4 citations
   Computer Science · #Security and Verification in Computing #Physical Unclonable Functions (PUFs) and Hardware Security #Formal Methods in Verification
5. Compositional Construction of Control Barrier Certificates for\n Large-Scale Stochastic Switched Systems
   2020/05/04 by Ameneh Nejati, Nejati, Ameneh, Sadegh Soudjani +3 · 2 citations
   Business, Management and Accounting · Computer Science · Engineering · #FOS: Electrical engineering #Flexible and Reconfigurable Manufacturing Systems #Petri Nets in System Modeling #Product Development and Customization #Systems and Control (eess.SY) #electronic engineering #information engineering
6. From Dissipativity Theory to Compositional Synthesis of Large-Scale Stochastic Switched Systems
   2022/03/15 by Abolfazl Lavaei, Majid Zamani · 2 citations
   Computer Science · Biochemistry, Genetics and Molecular Biology · #Petri Nets in System Modeling #Formal Methods in Verification #Gene Regulatory Network Analysis
7. AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale\n Stochastic Systems
   2020/05/13 by Abolfazl Lavaei, Lavaei, Abolfazl, Mahmoud Khaled +5 · 2 citations
   Computer Science · #Formal Methods in Verification #Real-Time Systems Scheduling #Petri Nets in System Modeling
8. Backstepping controller synthesis and characterizations of incremental\n stability
   2012/06/29 by Majid Zamani, Nathan van de Wouw, Zamani, Majid +3 · 1 citation
   Computer Science · Engineering · #Formal Methods in Verification #Control and Stability of Dynamical Systems #Petri Nets in System Modeling
9. From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems
   2021/01/18 by Mahathi Anand, Anand, Mahathi, Abolfazl Lavaei +3 · 3 citations
   Computer Science · Engineering · #FOS: Electrical engineering #Formal Methods in Verification #Radiation Effects in Electronics #Semiconductor materials and devices #Systems and Control (eess.SY) #electronic engineering #information engineering
10. Opacity of nondeterministic transition systems: A (bi)simulation relation approach
    2018/02/09 by Kuize Zhang, Zhang, Kuize, Xiang Yin +3 · 2 citations
    Computer Science · Decision Sciences · #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Optimization and Control (math.OC) #Simulation Techniques and Applications
11. Synthesis of Partially Observed Jump-Diffusion Systems via Control\n Barrier Functions
    2021/09/23 by Niloofar Jahanshahi, Jahanshahi, Niloofar, Pushpak Jagtap +3 · 2 citations
    Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Fuel Cells and Related Materials #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
12. Compositional Synthesis of Finite Abstractions for Networks of Systems:\n A Small-Gain Approach
    2018/05/16 by Abdalla Swikir, Majid Zamani, Swikir, Abdalla +1 · 1 citation
    Computer Science · Decision Sciences · #Petri Nets in System Modeling #Simulation Techniques and Applications #Embedded Systems Design Techniques
13. Compositional Abstraction of Large-Scale Stochastic Systems: A Relaxed\n Dissipativity Approach
    2019/02/01 by Abolfazl Lavaei, Sadegh Soudjani, Lavaei, Abolfazl +3 · 1 citation
    Computer Science · Engineering · #Petri Nets in System Modeling #Stability and Control of Uncertain Systems
14. On Approximate Opacity of Cyber-Physical Systems
    2019/02/25 by Xiang Yin, Yin, Xiang, Majid Zamani +1 · 1 citation
    Computer Science · Decision Sciences · #FOS: Electrical engineering #Petri Nets in System Modeling #Real-Time Systems Scheduling #Simulation Techniques and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
15. PIRK: Scalable Interval Reachability Analysis for High-Dimensional\n Nonlinear Systems
    2020/01/28 by Alex Devonport, Mahmoud Khaled, Devonport, Alex +5 · 1 citation
    Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Formal Methods in Verification #Numerical Methods and Algorithms #Systems and Control (eess.SY) #electronic engineering #information engineering
16. Compositional (In)Finite Abstractions for Large-Scale Interconnected\n Stochastic Systems
    2018/08/01 by Abolfazl Lavaei, Sadegh Soudjani, Lavaei, Abolfazl +3 · 1 citation
    Biochemistry, Genetics and Molecular Biology · Computer Science · Engineering · #Advanced Control Systems Optimization #FOS: Electrical engineering #Gene Regulatory Network Analysis #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
17. Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems
    2022/08/06 by Abolfazl Lavaei, Mateo Perez, Lavaei, Abolfazl +11 · 2 citations
    Medicine · #Cardiac electrophysiology and arrhythmias #FOS: Electrical engineering #Systems and Control (eess.SY) #electronic engineering #information engineering
18. Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems
    2022/11/08 by Junyao Hou, Hou, Junyao, Siyuan Liu +5 · 1 citation
    Computer Science · #FOS: Computer and information sciences #FOS: Electrical engineering #Petri Nets in System Modeling #Real-Time Systems Scheduling #Security and Verification in Computing #Symbolic Computation (cs.SC) #Systems and Control (eess.SY) #electronic engineering #information engineering
19. Transfer Learning for Control Systems via Neural Simulation Relations
    2024/12/02 by Alireza Nadali, Nadali, Alireza, Bingzhuo Zhong +5 · 1 citation
    Computer Science · Physics and Astronomy · #FOS: Computer and information sciences #FOS: Electrical engineering #Machine Learning (cs.LG) #Model Reduction and Neural Networks #Neural Networks and Applications #Systems and Control (eess.SY) #electronic engineering #information engineering
20. Data-Driven Formal Methods for Complex Dynamical Systems: A Survey
    2026/07/30 by Behrad Samari, Alessandro Abate, Antoine Girard +3
    Engineering · Computer Science · #eess.SY #cs.SY