Pages that link to "Item:Q2980313"
From MaRDI portal
The following pages link to Symbolic Models for Networks of Control Systems (Q2980313):
Displaying 20 items.
- Symbolic models for control systems (Q868433) (← links)
- Symbolic manipulation techniques for model simplification in object-oriented modelling of large scale continuous systems (Q1300464) (← links)
- Decentralized abstractions for multi-agent systems under coupled constraints (Q1712902) (← links)
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- Verification of approximate opacity for switched systems: a compositional approach (Q2060871) (← links)
- Symbolic models for infinite networks of control systems: a compositional approach (Q2074749) (← links)
- Approximate predictability of pseudo-metric systems (Q2178224) (← links)
- Compositional synthesis of finite abstractions for networks of systems: a small-gain approach (Q2280884) (← links)
- Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions (Q2303884) (← links)
- Finite horizon discrete models for multi-agent control systems with coupled dynamics (Q2307531) (← links)
- Symbolic dynamics of Boolean control networks (Q2628693) (← links)
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- A small-gain theorem for set stability of infinite networks: distributed observation and ISS for time-varying networks (Q2676081) (← links)
- On network models and the symbolic solution of network equations. (Q2716510) (← links)
- Design of Symbolic Controllers for Networked Control Systems (Q4629861) (← links)
- Symbolic Abstractions of Networked Control Systems (Q4630189) (← links)
- Abstractions of Varying Decentralization Degree for Reachability of Coupled Multiagent Systems (Q5238255) (← links)
- Approximate current state observability of discrete-time nonlinear systems under cyber-attacks (Q6052175) (← links)
- Abstractions of networks of stochastic hybrid systems under randomly switched topologies: a compositional approach (Q6161374) (← links)