Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems

@article{Girard2010ApproximatelyBS,
  title={Approximately Bisimilar Symbolic Models for Incrementally Stable Switched Systems},
  author={A. Girard and G. Pola and P. Tabuada},
  journal={IEEE Transactions on Automatic Control},
  year={2010},
  volume={55},
  pages={116-126}
}
Switched systems constitute an important modeling paradigm faithfully describing many engineering systems in which software interacts with the physical world. Despite considerable progress on stability and stabilization of switched systems, the constant evolution of technology demands that we make similar progress with respect to different, and perhaps more complex, objectives. This paper describes one particular approach to address these different objectives based on the construction of… Expand
Approximately Bisimilar Symbolic Models for Stochastic Switched Systems
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
Symbolic models for incrementally stable switched systems with aperiodic time sampling
Multirate Symbolic Models for Incrementally Stable Switched Systems
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems (Extended Version)
Symbolic Control of Stochastic Switched Systems via Finite Abstractions
Approximately Bisimilar Symbolic Models for Digital Control Systems
Analysis for a class of discrete-time switched systems via approximate bisimulations
  • Guoqi Ma, Xinghua Liu
  • Mathematics
  • 2016 12th World Congress on Intelligent Control and Automation (WCICA)
  • 2016
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 37 REFERENCES
Approximate Bisimulations for Nonlinear Dynamical Systems
An Approximate Simulation Approach to Symbolic Control
  • P. Tabuada
  • Mathematics, Computer Science
  • IEEE Transactions on Automatic Control
  • 2008
Symbolic control of linear systems based on symbolic subsystems
  • P. Tabuada
  • Computer Science
  • IEEE Transactions on Automatic Control
  • 2006
Approximation Metrics for Discrete and Continuous Systems
Games for synthesis of controllers with partial observation
Discrete abstractions of hybrid systems
Symbolic models for control systems
  • P. Tabuada
  • Mathematics, Computer Science
  • Acta Informatica
  • 2006
...
1
2
3
4
...