메뉴 건너뛰기




Volumn 2289, Issue , 2002, Pages 294-307

Qualitative modeling and heterogeneous control of global system behavior

Author keywords

[No Author keywords available]

Indexed keywords

DEGREES OF FREEDOM (MECHANICS); DYNAMICAL SYSTEMS; HYBRID SYSTEMS; LINEAR CONTROL SYSTEMS;

EID: 27844557636     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45873-5_24     Document Type: Conference Paper
Times cited : (9)

References (10)
  • 3
    • 0031144307 scopus 로고    scopus 로고
    • Proving properties of continuous systems: Qualitative simulation and temporal logic
    • Shults, B., Kuipers, B.: Proving properties of continuous systems: qualitative simulation and temporal logic. Artificial Intelligence 92 (1997) 91–129
    • (1997) Artificial Intelligence , vol.92 , pp. 91-129
    • Shults, B.1    Kuipers, B.2
  • 5
    • 84941352867 scopus 로고    scopus 로고
    • A question about hierarchical systems
    • In Djaferis, T., Schick, I., eds., Modeling, Analysis and Control. Kluwer
    • Varaiya, P.: A question about hierarchical systems. In Djaferis, T., Schick, I., eds.: System Theory: Modeling, Analysis and Control. Kluwer (2000)
    • (2000) System Theory
    • Varaiya, P.1
  • 7
    • 46149128342 scopus 로고
    • Qualitative simulation
    • Kuipers, B.: Qualitative simulation. Artificial Intelligence 29 (1986) 289–338
    • (1986) Artificial Intelligence , vol.29 , pp. 289-338
    • Kuipers, B.1
  • 8
    • 0028378098 scopus 로고
    • The composition and validation of heterogeneous control laws
    • Kuipers, B.J., Åström, K.: The composition and validation of heterogeneous control laws. Automatica 30 (1994) 233–249
    • (1994) Automatica , vol.30 , pp. 233-249
    • Kuipers, B.J.1    Åström, K.2


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