Toward an Approximation Theory for Computerised Control

  • Paul Caspi
  • Albert Benveniste
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2491)


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.


Hybrid System Approximation Theory Mode Switch Discontinuity Point Uniformly Continuous 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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. 2.
    P. Billingsley. Convergence of probability measures. John Wiley & Sons, 1999.Google Scholar
  3. 3.
    M.S. Branicky. Topology of hybrid systems. In 32nd Conference on Decision and Control, pages 2309–2311. IEEE, 1993.Google Scholar
  4. 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
  5. 5.
    P. Caspi and R. Salem. Threshold and bounded-delay voting in critical control systems. In Mathai Joseph, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1926 of Lecture Notes in Computer Science, pages 68–81, September 2000.CrossRefGoogle Scholar
  6. 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. 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. 8.
    H. Kopetz. Real-Time Systems Design Principles for Distributed Embedded Applications. Kluwer, 1997.Google Scholar
  9. 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
  10. 10.
    R. Alur, T.A. Henzinger, G. Lafferriere, and G.J. Pappas. Discrete abstractions of hybrid systems. Proceedings of the IEEE, 88:971–984, 2000.CrossRefGoogle Scholar
  11. 11.
    J.H. Wensley, L. Lamport, J. Goldberg, M.W. Green, K.N. Lewitt, P.M. Melliar-Smith, R.E Shostak, and Ch.B. Weinstock. SIFT: Design and analysis of a fault-tolerant computer for aircraft control. Proceedings of the IEEE, 66(10):1240–1255, 1978.CrossRefGoogle Scholar
  12. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Paul Caspi
    • 1
  • Albert Benveniste
    • 2
  1. 1.Verimag (CNRS), Centre EquationGieresFrance
  2. 2.Irisa/InriaRennesFrance

Personalised recommendations