Advertisement

Abstract

A hybrid system is a system containing both of time-evolving components and event-driven components. A formal approach is explored in this paper, based on Extended Duration Calculus (EDC), for the development of hybrid systems. A typical example of hybrid system from modern control theory, a two-level adaptive control system, is used for illustrating our approach. Its high level consists of an event-driven supervisor which reacts to the change of plant structure, and its time-evolving low level consists of adaptive controllers and other components. Firstly performance specifications and system specification of the case are formulated in EDC; then they are refined stepwise into specifications of the supervisor and the low level components. Our approach emphasizes the interface between the two kinds of components in the hybrid system.

Keywords

hybrid systems Duration Calculus refinement requirements specification real time adaptive control 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    R. Alur, C. Courcoubetis and T.A. Henzinger, Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems, in R.L.Grossman, A. Nerode, H. Rischel, and A.P. Ravn(Eds.), Hybrid Systems, LNCS 736, pp.209–229, Springer-Verlag Berlin Heidelberg 1993.Google Scholar
  2. 2.
    K.J. åström and B. Wittenmark, Adaptive Control, Addison-Wesley Publishing Company, 1989.Google Scholar
  3. 3.
    W.J. Bencze and G.F. Franklin, A separation principle for hybrid control system design, in the proceedings of the 1994 IEEE/IFAC Symposium on Computer-Aided Control System Design, March 7–9, 1994 in Tuscon, Arizona.Google Scholar
  4. 4.
    Chen Zongji and P.A. Cook, Robustness of model reference adaptive control systems with unmodeled dynamics, I. J. Control, 39 (1984), 201–204.Google Scholar
  5. 5.
    M. Engel, M. Kubica, J. Madey, D.L. Parnas, A.P. Ravn and A.J. van Schnowen, A Formal Approach to Computer Systems Requirements Documentation, in R.L. Grossman, A. Nerode, H. Rischel, and A.P. Ravn(Eds.), Hybrid Systems, LNCS 736, pp.452–474, Springer-Verlag Berlin Heidelberg 1993.Google Scholar
  6. 6.
    G.F. Franklin, J.D. Powell and A. Emami-Naeini, Feedback Control of Dynamic Systems, Addison-Wesley, Reading, Mass, 1986.Google Scholar
  7. 7.
    Ho Yu-chi and Xi-Ren Cao, Perturbation Analysis of Discrete Event Dynamic System, Kluwer Academic Publishers, Boston, Dordreecht, London, 1991.Google Scholar
  8. 8.
    M.R. Hansen, Zhou Chaochen, J. Staunstrup: A Real-Time Duration Semantics for Circuits, Proc. of the Workshop on Timing Issues in the Specification and Synthesis of Digital Systems, Princeton, March 1992Google Scholar
  9. 9.
    He Jifeng, From CSP to Hybrid Systems, in A Classical Mind, Essays in Honour of C. A. R. Hoare, A. W. Roscoe (ed.), Prentice Hall International, 1994.Google Scholar
  10. 10.
    L. Lamport, Hybrid systems in TLA + in R.L.Grossman, A.Nerode, H.Rischel, and A.P.Ravn(Eds.), Hybrid Systems, LNCS 736, pp.77–102, Springer-Verlag Berlin Heidelberg 1993.Google Scholar
  11. 11.
    Z. Manna and A. Pnueli, Verifying Hybrid Systems, in R.L. Grossman, A. Nerode, H. Rischel, and A.P. Ravn(Eds.), Hybrid Systems, LNCS 736, pp.4–35, Springer-Verlag Berlin Heidelberg 1993.Google Scholar
  12. 12.
    A.P. Ravn, H. Rischel: Requirements Capture for Embedded Real-Time Systems, Proc. IMACS-MCTS'91 Symp. Modelling and Control of Technological Systems, Vol 2, pp. 147–152, Villeneuve d'Ascq, France, 1991.Google Scholar
  13. 13.
    J.U. SkakkebÆk, A.P. Ravn, H. Rischel, Zhou Chaochen: Specification of Embedded Real-Time Systems, Proc. 4th Euromicro Workshop on Real-Time Systems, IEEE Press, pp 116–121, June 1992Google Scholar
  14. 14.
    Wang Ji, Yu Xinyao and Zhou Chaochen, Refinement of Digital Dynamic Systems, UNU/IIST Technical Report No. 20, 1994.Google Scholar
  15. 15.
    Zhou Chaochen, C. A. R. Hoare, A. P. Ravn, A calculus of durations, Information Processing Letters 40(5), 1991: 269–276.Google Scholar
  16. 16.
    Zhou Chaochen, A. P. Ravn, M. R. Hansen, An extended duration calculus for hybrid real-time systems, in R.L. Grossman, A. Nerode, H. Rischel, and A.P. Ravn(Eds.), Hybrid Systems, LNCS 736, pp.36–59, Springer-Verlag Berlin Heidelberg 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Yu Xinyao
    • 1
  • Wang Ji
    • 1
  • Zhou Chaochen
    • 1
  • Paritosh K. Pandya
    • 1
  1. 1.International Institute for Software TechnologyThe United Nations UniversityMacau

Personalised recommendations