The following pages link to Majid Zamani (Q1689366):
Displayed 50 items.
- Symbolic models for stochastic switched systems: A discretization and a discretization-free approach (Q1689367) (← links)
- Towards scalable synthesis of stochastic control systems (Q1693824) (← links)
- ISS small-gain criteria for infinite networks with linear gain functions (Q2059491) (← links)
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← links)
- Compositional abstraction-based synthesis of general MDPs via approximate probabilistic relations (Q2061250) (← links)
- Symbolic models for infinite networks of control systems: a compositional approach (Q2074749) (← links)
- Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber-physical systems (Q2074755) (← links)
- Compositional construction of control barrier functions for continuous-time stochastic hybrid systems (Q2081792) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Automata-based controller synthesis for stochastic systems: a game framework via approximate probabilistic relations (Q2103672) (← links)
- Numerical over-approximation of invariance entropy via finite abstractions (Q2107631) (← links)
- Compositional construction of abstractions for infinite networks of discrete-time switched systems (Q2123412) (← links)
- Compositional abstraction-based synthesis for networks of stochastic switched systems (Q2174019) (← links)
- Sandboxing controllers for stochastic cyber-physical systems (Q2176707) (← links)
- Compositional abstraction of large-scale stochastic systems: a relaxed dissipativity approach (Q2178236) (← links)
- Approximate abstractions of control systems with an application to aggregation (Q2207200) (← links)
- Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems (Q2220062) (← links)
- \textsf{AMYTISS}: parallelized automated controller synthesis for large-scale stochastic systems (Q2226754) (← links)
- Compositional construction of infinite abstractions for networks of stochastic control systems (Q2280818) (← links)
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach (Q2280884) (← links)
- Symbolic models for retarded jump-diffusion systems (Q2288645) (← links)
- Backstepping controller synthesis and characterizations of incremental stability (Q2439154) (← links)
- Approximately bisimilar symbolic models for randomly switched stochastic systems (Q2454178) (← links)
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387) (← links)
- Data-driven verification of stochastic linear systems with signal temporal logic constraints (Q2665419) (← links)
- A small-gain theorem for set stability of infinite networks: distributed observation and ISS for time-varying networks (Q2676081) (← links)
- Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions (Q2982915) (← links)
- Bisimilar symbolic models for stochastic control systems without state-space discretization (Q2986948) (← links)
- Compositional construction of approximate abstractions (Q2988917) (← links)
- SCOTS (Q2988967) (← links)
- Compositional Construction of Approximate Abstractions of Interconnected Control Systems (Q4560092) (← links)
- From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes (Q4561427) (← links)
- Accurate reachability analysis of uncertain nonlinear systems (Q4561433) (← links)
- Constructing Control System Abstractions from Modular Components (Q4561445) (← links)
- Backstepping Design for Incremental Stability of Stochastic Hamiltonian Systems with Jumps (Q4567065) (← links)
- Scheduling of Controllers’ Update-Rates for Residual Bandwidth Utilization (Q4603561) (← links)
- Compositional Abstraction for Networks of Control Systems: A Dissipativity Approach (Q4630123) (← links)
- Symbolic Abstractions of Networked Control Systems (Q4630189) (← links)
- From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems (Q4969395) (← links)
- On Approximate Opacity of Cyber-Physical Systems (Q4990273) (← links)
- Formal Synthesis of Stochastic Systems via Control Barrier Certificates (Q5002121) (← links)
- Invariance Feedback Entropy of Uncertain Control Systems (Q5033868) (← links)
- A Lyapunov-Based Small-Gain Theorem for Infinite Networks (Q5033881) (← links)
- dtControl (Q5146381) (← links)
- Compositional construction of control barrier functions for interconnected control systems (Q5146388) (← links)
- dtControl (Q5146399) (← links)
- AMYTISS (Q5146400) (← links)
- Opacity of Nondeterministic Transition Systems: A (Bi)Simulation Relation Approach (Q5211280) (← links)
- Verification and synthesis of interconnected embedded control systems under timing contracts (Q5239238) (← links)
- pFaces (Q5239246) (← links)