메뉴 건너뛰기




Volumn 1201, Issue , 1997, Pages 403-408

Hybrid systems described by the complementarity formalism

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; EQUATIONS OF MOTION; HIGH LEVEL LANGUAGES; HYBRID SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; MODELING LANGUAGES; PIECEWISE LINEAR TECHNIQUES;

EID: 84957628021     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0014742     Document Type: Conference Paper
Times cited : (3)

References (11)
  • 5
    • 0020115958 scopus 로고
    • Mechanical systems of rigid bodies subject to unilateral constraints
    • P. Lötstedt, “Mechanical systems of rigid bodies subject to unilateral constraints”, SIAM Journal of Applied Mathematics, 42: 281-296, 1982.
    • (1982) SIAM Journal of Applied Mathematics , vol.42 , pp. 281-296
    • Lötstedt, P.1
  • 6
    • 0024767210 scopus 로고
    • “The generalized linear complementarity problem applied to the complete analysis of resistive piecewise-linear circuits
    • L. Vandenberghe, B.L. de Moor, J. Vandewalle, “The generalized linear complementarity problem applied to the complete analysis of resistive piecewise-linear circuits, IEEE Trans. Circuits Syst., CS-36, pp. 1382-1391, 1989.
    • (1989) IEEE Trans. Circuits Syst , vol.CS-36 , pp. 1382-1391
    • Vandenberghe, L.1    De Moor, B.L.2    Vandewalle, J.3
  • 7
    • 0001247659 scopus 로고
    • Liaisons unilatérales sans frottement et chocs inélastiques
    • J.J. Moreau, “Liaisons unilatérales sans frottement et chocs inélastiques”, C.R. Acad. Sc. Paris, 1296, pp. 1473-1476, 1983.
    • (1983) C.R. Acad. Sc. Paris , vol.1296 , pp. 1473-1476
    • Moreau, J.J.1
  • 10
    • 84958050603 scopus 로고    scopus 로고
    • Interconnected automata and linear systems: A theoretical framework in discrete time”
    • (R. Alur, T. Henzinger, E.D. Sontag, eds.), Lect. Notes Comp. Sci, Springer Berlin
    • E. Sontag, “Interconnected automata and linear systems: A theoretical framework in discrete time”, Hybrid Systems: Verification and Control (R. Alur, T. Henzinger, E.D. Sontag, eds.), pp. 436-448, Lect. Notes Comp. Sci., Vol. 1066, Springer Berlin 1996.
    • (1996) Hybrid Systems: Verification and Control , vol.1066 , pp. 436-448
    • Sontag, E.1


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