메뉴 건너뛰기




Volumn 1386, Issue , 1998, Pages 253-272

Formal verification of safety-critical hybrid systems

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84957871852     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64358-3_44     Document Type: Conference Paper
Times cited : (15)

References (17)
  • 1
    • 0003672832 scopus 로고
    • Doctor of Science Thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, June
    • Michael S. Branicky. Studies in Hybrid Systems: Modeling, Analysis, and Control. Doctor of Science Thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, June 1995.
    • (1995) Studies in Hybrid Systems: Modeling, Analysis, and Control
    • Branicky, M.S.1
  • 2
    • 84957684274 scopus 로고    scopus 로고
    • Safety Verification for Automated Platoon Maneuvers: A Case Study
    • Oded Maler, editor, Lecture Notes in Computer Science, Springer-Verlag, The International Workshop on Hybrid and Real-Time Systems took place in Grenoble, France, in March
    • Ekaterina Dolginova and Nancy A. Lynch. Safety Verification for Automated Platoon Maneuvers: A Case Study. In Oded Maler, editor, Proc. International Workshop on Hybrid and Real-Time Systems (HART'97), volume 1201 of Lecture Notes in Computer Science, pages 154-170. Springer-Verlag, 1997. The International Workshop on Hybrid and Real-Time Systems took place in Grenoble, France, in March 1997.
    • (1997) Proc. International Workshop on Hybrid and Real-Time Systems (HART'97) , vol.1201 , pp. 154-170
    • Dolginova, E.1    Lynch, N.A.2
  • 3
    • 0342890577 scopus 로고
    • Technical Report MIT/LCS/TR-587, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, December
    • Rainer Gawlick, Roberto Segala, Jørgen Søgaard-Andersen, and Nancy A. Lynch. Liveness in Timed and Untimed Systems. Technical Report MIT/LCS/TR-587, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, December 1993.
    • (1993) Liveness in Timed and Untimed Systems
    • Gawlick, R.1    Segala, R.2    Søgaard-Andersen, J.3    Lynch, N.A.4
  • 4
    • 0003517372 scopus 로고
    • Liveness in Timed and Untimed Systems
    • Serge Abiteboul and Eli Shamir, editors, Lecture Notes in Computer Science, Springer-Verlag, The 21st International Colloquium on Automata, Languages and Programming (ICALP'94) took place in Jerusalem, Israel, in July, Full version appeared as Ref. 3
    • Ralner Gawlick, Roberto Segala, Jørgen Søgaard-Andersen, and Nancy A. Lynch. Liveness in Timed and Untimed Systems. In Serge Abiteboul and Eli Shamir, editors, Proc. 21st International Colloquium on Automata, Languages and Programming (ICALP'94), volume 820 of Lecture Notes in Computer Science, pages 166-177. Springer-Verlag, 1994. The 21st International Colloquium on Automata, Languages and Programming (ICALP'94) took place in Jerusalem, Israel, in July 1994. Full version appeared as Ref. 3.
    • (1994) Proc. 21St International Colloquium on Automata, Languages and Programming (ICALP'94) , vol.820 , pp. 166-177
    • Gawlick, R.1    Segala, R.2    Søgaard-Andersen, J.3    Lynch, N.A.4
  • 5
    • 84957915940 scopus 로고
    • Lecture Notes in Computer Science. Springer-Verlag, This volume of LNCS was inspired by a workshop on the Theory of Hybrid Systems, held on Oct. 19-21, 1992 at the Technical University, Lyngby, Denmark, and by a prior Hybrid Systems Workshop, held on June 10-12, 1991 at the Mathematical Sciences Institute, Cornell University
    • Robert L. Grossman, Anit Nerode, Anders P. Ravn, and Hans Rischel, editors. Hybrid Systems, volume 736 of Lecture Notes in Computer Science. Springer-Verlag, 1993. This volume of LNCS was inspired by a workshop on the Theory of Hybrid Systems, held on Oct. 19-21, 1992 at the Technical University, Lyngby, Denmark, and by a prior Hybrid Systems Workshop, held on June 10-12, 1991 at the Mathematical Sciences Institute, Cornell University.
    • (1993) Hybrid Systems , vol.736
    • Grossman, R.L.1    Nerode, A.2    Ravn, E.P.3    Rischel, H.4
  • 6
    • 23544448324 scopus 로고    scopus 로고
    • Master of Engineering Thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, September
    • Carolos Livadas. Formal Verification of Safety-Critical Hybrid Systems. Master of Engineering Thesis, Dept. of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, September 1997.
    • (1997) Formal Verification of Safety-Critical Hybrid Systems
    • Livadas, C.1
  • 7
    • 0003557362 scopus 로고    scopus 로고
    • Doctor of Philosophy Thesis, Dept. of Electrical Engineering and Computer Sciences, University of California, Berkeley, May
    • John Lygeros. Hierarchical, Hybrid Control of Large Scale Systems. Doctor of Philosophy Thesis, Dept. of Electrical Engineering and Computer Sciences, University of California, Berkeley, May 1996.
    • (1996) Hierarchical, Hybrid Control of Large Scale Systems
    • Lygeros, J.1
  • 9
    • 0031345144 scopus 로고    scopus 로고
    • On the Formal Verification of the TCAS Conflict Resolution Algorithm
    • San Diego, CA, December, To appear
    • John Lygeros and Nancy Lynch. On the Formal Verification of the TCAS Conflict Resolution Algorithm. In 36th IEEE Conference on Decision and Control (CDC'97), San Diego, CA, December 1997. To appear.
    • (1997) 36Th IEEE Conference on Decision and Control (CDC'97)
    • Lygeros, J.1    Lynch, N.2
  • 10
    • 1642502742 scopus 로고
    • Technical Memo MIT/LCS/TM-544, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, December
    • Nancy Lynch, Roberto Segala, Frits Vaandrager, and H. B. Weinberg. Hybrid I/O Automata. Technical Memo MIT/LCS/TM-544, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, December 1995.
    • (1995) Hybrid I/O Automata
    • Lynch, N.1    Segala, R.2    Vaandrager, F.3    Weinberg, H.B.4
  • 13
    • 22144497738 scopus 로고
    • Technical Memo MIT/LCS/TM-487.c, Labora tory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, April
    • Nancy Lynch and Frits Vaandrager. Forward and Backward Simulations -- Part II: Timing-Based Systems. Technical Memo MIT/LCS/TM-487.c, Labora tory for Computer Science, Massachusetts Institute of Technology, Cambridge, Massachusetts, April 1995.
    • (1995) Forward and Backward Simulations -- Part II: Timing-Based Systems
    • Lynch, N.1    Vaandrager, F.2
  • 14
    • 0002658813 scopus 로고    scopus 로고
    • Forward and Backward Simulations -- Part II: Timing-Based Systems
    • July, Preliminary version appeared as Ref. 13
    • Nancy Lynch and Frits Vaandrager. Forward and Backward Simulations -- Part II: Timing-Based Systems. Information and Computation, 128(1):1-25, July 1996. Preliminary version appeared as Ref. 13.
    • (1996) Information and Computation , vol.128 , Issue.1 , pp. 1-25
    • Lynch, N.1    Vaandrager, F.2
  • 16
    • 84957888345 scopus 로고
    • editors, part 1 of Theoretical Computer Science. Elsevier Science Publishers, February
    • Amir Pnueli and Joseph Sifakis, editors. Special Issue on Hybrid Systems, volume 138, part 1 of Theoretical Computer Science. Elsevier Science Publishers, February 1995.
    • (1995) Special Issue on Hybrid Systems , vol.138
    • Pnueli, A.1    Sifakis, J.2
  • 17
    • 21344471670 scopus 로고    scopus 로고
    • Verification of Automated Vehicle Protection Systems
    • R. Alur T. Henzinger, and E. Sontag, editors, Lecture Notes in Computer Science, Springer-Verlag
    • H. B. Weinberg, Nancy Lynch, and Norman Delisle. Verification of Automated Vehicle Protection Systems. In R. Alur T. Henzinger, and E. Sontag, editors, Hybrid Systems III: Verification and Control, volume 1066 of Lecture Notes in Computer Science, pages 101-113. Springer-Verlag, 1996.
    • (1996) Hybrid Systems III: Verification and Control , vol.1066 , pp. 101-113
    • Weinberg, H.B.1    Lynch, N.2    Delisle, N.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.