메뉴 건너뛰기




Volumn 1386, Issue , 1998, Pages 96-109

Reachability analysis via face lifting

Author keywords

[No Author keywords available]

Indexed keywords


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

References (19)
  • 3
    • 84930582553 scopus 로고
    • Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy
    • P.S. Thiagarajan (Ed.), LNCS, Springer
    • E. Asarin and O. Maler, Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy, in P.S. Thiagarajan (Ed.), Proc. FST/TCS'95, 471-483, LNCS 1026, Springer, 1995.
    • (1995) Proc. FST/TCS'95 , vol.1026 , pp. 471-483
    • Asarin, E.1    Maler, O.2
  • 4
    • 0029637375 scopus 로고
    • Reachabitity Analysis of Dynamical Systems having Piecewise-Constant Derivatives
    • A. Asarin, O. Maler and A. Pnueli, Reachabitity Analysis of Dynamical Systems having Piecewise-Constant Derivatives, Theoretical Computer Science 138, 35-66, 1995.
    • (1995) Theoretical Computer Science , vol.138 , pp. 35-66
    • Asarin, A.1    Maler, O.2    Pnueli, A.3
  • 5
    • 0042257199 scopus 로고
    • Symbolic Controller Synthesis for Discrete and Timed Systems
    • P. Antsaklis, W. Kohn, A. Nerode and S. Sastry(Eds.), Springer
    • E. Asarin, O. Maler and A. Pnueli, Symbolic Controller Synthesis for Discrete and Timed Systems, in P. Antsaklis, W. Kohn, A. Nerode and S. Sastry(Eds.), Hybrid Systems II, LNCS 999, Springer, 1995.
    • (1995) Hybrid Systems II, LNCS , vol.999
    • Asarin, E.1    Maler, O.2    Pnueli, A.3
  • 8
    • 84957378362 scopus 로고    scopus 로고
    • Verifying Safety Properties of Differential Equations
    • M.R. Greenstreet, Verifying Safety Properties of Differential Equations, in Proc. CAV'96, 277-287, 1996.
    • (1996) Proc. CAV'96 , pp. 277-287
    • Greenstreet, M.R.1
  • 9
    • 84957884496 scopus 로고    scopus 로고
    • Integrating Projections, these proceedings. T.A. Henzinger and H. Wong-Toi, Linear Phase-Portrait Approximation for Nonlinear Hybrid Systems
    • R. Alur, T.A. Henzinger and E.D. Sontag (Eds.), LNCS, Springer
    • M.R. Greenstreet and I. Mitchell, Integrating Projections, these proceedings. T.A. Henzinger and H. Wong-Toi, Linear Phase-Portrait Approximation for Nonlinear Hybrid Systems, in R. Alur, T.A. Henzinger and E.D. Sontag (Eds.), Hybrid Systems III, 377-388, LNCS 1066, Springer, 1996.
    • (1996) Hybrid Systems III , vol.1066 , pp. 377-388
    • Greenstreet, M.R.1    Mitchell, I.2
  • 14
    • 84969355954 scopus 로고    scopus 로고
    • Varaiya, ε-Approximation of Differential Inclusions
    • R. Alur, T.A. Henzinger and E.D. Sontag (Eds.), LNCS, Springer
    • A. Puri, V. Borkar and P. Varaiya, ε-Approximation of Differential Inclusions, in R. Alur, T.A. Henzinger and E.D. Sontag (Eds.), Hybrid Systems III, 363-376, LNCS 1066, Springer, 1996.
    • (1996) Hybrid Systems III , vol.1066 , pp. 363-376
    • Puri, A.1    Borkar, V.2
  • 15
    • 0003213509 scopus 로고    scopus 로고
    • Decidability of Hybrid Systems with Rectangular Differential Inclusions
    • D. Dill (Ed.), LNCS, Springer
    • A. Puri and P. Varaiya, Decidability of Hybrid Systems with Rectangular Differential Inclusions, in D. Dill (Ed.), Proc. CAV '94, LNCS 1066, Springer, 1996.
    • (1996) Proc. CAV '94 , vol.1066
    • Puri, A.1    Varaiya, P.2
  • 16
    • 0024479313 scopus 로고
    • The Control of Discrete Event Systems
    • P.J. Ramadge and W.M. Wonham, The Control of Discrete Event Systems, Proc. of the IEEE 77, 81-98, 1989.
    • (1989) Proc. Of the IEEE , vol.77 , pp. 81-98
    • Ramadge, P.J.1    Wonham, W.M.2
  • 18
    • 0009357721 scopus 로고    scopus 로고
    • Generating Timed Discrete Models of Continuous Systems
    • Vienna
    • O. Stursberg, S. Kowalewski and S. Engell, Generating Timed Discrete Models of Continuous Systems, in Proc. MATHMOD'97, Vienna, 1997.
    • (1997) Proc. MATHMOD'97
    • Stursberg, O.1    Kowalewski, S.2    Engell, S.3
  • 19
    • 33845389835 scopus 로고    scopus 로고
    • Conflict Resolution for Air Traffic Management: A Study in Multi-Agent Hybrid Systems
    • to appear
    • C. Tomlin, G. Pappas, and S. Sastry, Conflict Resolution for Air Traffic Management: A Study in Multi-Agent Hybrid Systems, IEEE Trans. On Automatic Control, to appear.
    • IEEE Trans. On Automatic Control
    • Tomlin, C.1    Pappas, G.2    Sastry, S.3


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