메뉴 건너뛰기




Volumn 33, Issue 8-9, 1999, Pages 995-1014

On the use of trajectory synthesis to return to nominal mode for a class of hybrid systems

Author keywords

Hybrid automata; Linear vector fields; Reachability; State space

Indexed keywords


EID: 0041783225     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (4)

References (8)
  • 1
    • 0029637375 scopus 로고
    • On the analysis of dynamical systems having piecewise constant derivatives
    • ASARIN A., MALER O., PNUELI A., "On the analysis of Dynamical Systems having piecewise constant derivatives", Theoretical Computer Science. 138, p. 35-65, 1995.
    • (1995) Theoretical Computer Science , vol.138 , pp. 35-65
    • Asarin, A.1    Maler, O.2    Pnueli, A.3
  • 2
    • 0344226898 scopus 로고
    • A unified framework for hybrid control
    • Lecture Notes in Contr. And Inf. Sci., G. Cohen and J.P. Quadrat, Eds., Sophia-Antipolis, France, Springer-Verlag
    • th International conference on analysis and optimization of systems. Lecture Notes in Contr. And Inf. Sci. 199, G. Cohen and J.P. Quadrat, Eds., Sophia-Antipolis, France, Springer-Verlag, p. 352-358, 1994.
    • (1994) th International Conference on Analysis and Optimization of Systems , vol.199 , pp. 352-358
    • Branicky, M.1    Borkar, V.2    Mitter, S.3
  • 4
    • 0041664310 scopus 로고
    • HYTECH: The Cornell hybrid technology tool
    • A. Nerode, P. Antsaklis, W. Kohn and S. Sastry, Eds. New York: Springer Verlag
    • HENZINGER T.A., Ho P.H., "HYTECH: the Cornell Hybrid Technology Tool", in Hybrid Systems II, A. Nerode, P. Antsaklis, W. Kohn and S. Sastry, Eds. New York: Springer Verlag, 1995, p. 265-294.
    • (1995) Hybrid Systems II , pp. 265-294
    • Henzinger, T.A.1    Ho, P.H.2
  • 7
    • 0043167196 scopus 로고
    • Technical report CTH/RT/R-93/0013, Control Engineering Lab, Chalmers university of technology, Gothenburg, Sweden
    • TITTUS M., An algorithm for the generation of control laws for linear hybrid systems, Technical report CTH/RT/R-93/0013, Control Engineering Lab, Chalmers university of technology, Gothenburg, Sweden, 1993.
    • (1993) An Algorithm for the Generation of Control Laws for Linear Hybrid Systems
    • Tittus, M.1
  • 8
    • 0032048781 scopus 로고    scopus 로고
    • Control design for integrator hybrid systems
    • TITTUS M., EGARDT B., "Control design for integrator hybrid systems", IEEE T. Automatic Control, vol. 43, nb 4, p. 491-500, 1998.
    • (1998) IEEE T. Automatic Control , vol.43 , Issue.4 , pp. 491-500
    • Tittus, M.1    Egardt, B.2


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