Toward an Approximation Theory for Computerised Control
This paper addresses the question of extending the usual approximation and sampling theory of continuous signals and systems to those encompassing discontinuities, such as found in modern complex control systems (mode switches for instance). We provide some evidence that the Skorokhod topology is a good candidate for dealing with those cases in a uniform manner by showing that, in the boolean case, Skorokhod uniformly continuous signals are exactly the signals with uniform bounded variability.
KeywordsHybrid System Approximation Theory Mode Switch Discontinuity Point Uniformly Continuous
Unable to display preview. Download preview PDF.
- 1.A. Chutinan and B.H. Krogh. Computing approximating automata for a class of hybrid systems. Mathematical and Computer Modeling of Dynamical Systems, 6:30–50, March 2000. Special Issue on Discrete Event Models of Continuous Systems.Google Scholar
- 2.P. Billingsley. Convergence of probability measures. John Wiley & Sons, 1999.Google Scholar
- 3.M.S. Branicky. Topology of hybrid systems. In 32nd Conference on Decision and Control, pages 2309–2311. IEEE, 1993.Google Scholar
- 4.P. Caspi. Embedded control: from asynchrony to synchrony and back. In T. Hen-zinger and Ch. Kirsch, editors, First International Wokshop on Embedded Software, volume 2211 of Lecture Notes in Computer Science, 2001.Google Scholar
- 6.E. Asarin, O. Maler, and A. Pnueli. On discretization of delays in timed automata and digital circuits. In R. deSimone and D. Sangiorgi, editors, Concur’98, volume 1466 of Lecture Notes in Computer Science, pages 470–484. Springer, 1998.Google Scholar
- 7.J. Ouaknine. Digitisation and full abstraction for dense-time model checking. In TAC AS 02, volume 2280 of Lecture Notes In Computer Science, pages 37–51. Springer, 2002.Google Scholar
- 8.H. Kopetz. Real-Time Systems Design Principles for Distributed Embedded Applications. Kluwer, 1997.Google Scholar
- 9.M. Broucke. Regularity of solutions and homotopic equivalence for hybrid systems. In Proceedings of the 37th IEEE Conference on Decision and Control, volume 4, pages 4283–4288, 1998.Google Scholar
- 12.W. Kohn and A. Nerode. Models for hybrid systems: automata, topologies, controllability and observability. In Hybrid Systems, volume 732 of Lecture Notes in Computer Science. Springer, 1993.Google Scholar