Advanced Search
Volume 25 Issue 2
Feb.  1999
Turn off MathJax
Article Contents
Journal of Beijing University of Aeronautics and Astronautics  > 1999  >  25(2): 146-150.
Gao Jianping, Chen Zongji. Formal Verification of Hybrid System[J]. Journal of Beijing University of Aeronautics and Astronautics, 1999, 25(2): 146-150. (in Chinese)
Citation: Gao Jianping, Chen Zongji. Formal Verification of Hybrid System[J]. Journal of Beijing University of Aeronautics and Astronautics, 1999, 25(2): 146-150. (in Chinese)
shu

Formal Verification of Hybrid System

  • Beijing University of Aeronautics and Astronautics,Dept. of Automatic Control

  • Received Date: 07 Nov 1997
  • Publish Date: 28 Feb 1999
    Abstract
  • As a case study of hybrid system, a redundancy management system in flight control system is formally investigated and its specification and verification are presented using an approach incorporating program logic into duration calculi. Firstly, the requirement with some assumptions is captured in duration calculi, then the algorithm is specified in mixed-term hybrid descriptions and a parameter selection is given. During the verification phase,the program invariant is reasoned about with Hoare logic and specified by duration formulae. Finally, the whole verification is finished in the duration calculus framework.

     

    • FullText(HTML)
  • loading
    • References(1)
  • 1. Zhou C C, Hoare C A R,Ravn A P. A calculus of durations. Information Processing Letters, 1991,40(5):269~276 2. Zhou C C, Ravn A P,Hansen M R. An extended duration calculus for hybrid real-time systems.In:Grossman R L, Nerode A, Ravn A P,et al,eds. Hybrid Systems.Berlin:Springer-Verlag, 1993.36~59 3. Xu Q W. Semantics and the verification of extended phase transition systems in duration calculus. In:Maler O,ed. International Workshop on Hybrid and Real Time System.Berlin:Springer-Verlag, 1997.301~315
    • Relative Articles
    • Supplements(0)
    • Cited By
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索
    Get Citation
    PDF
    XML

    Article Metrics

    Article views(2311) PDF downloads(1005) Cited by()
    Proportional views
    Related

    Copyright © Journal of Beijing University of Aeronautics and Astronautics

    Address: Editorial Department of Journal of Beijing University of Aeronautics and Astronautics, 37 Xueyuan Road, Haidian District, Beijing Post Code: 100191 Email: jbuaa@buaa.edu.cn

    Supported by: Beijing Renhe Information Technology Co., Ltd.    

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return