related documents
- Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case Conference Proceeding
- Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case Conference Proceeding
- Controller synthesis for incremental stability: Application to symbolic controller synthesis Conference Proceeding
- Efficient HVAC controls: A symbolic approach Conference Proceeding
- On a reduced-order two-track car model including longitudinal and lateral load transfer Conference Proceeding
- Symbolic models for stochastic control systems without stability assumptions Conference Proceeding
- Verification of approximate infinite-step opacity using barrier certificates Conference Proceeding