메뉴 건너뛰기




Volumn SS-05-04, Issue , 2005, Pages 98-105

Deliberation scheduling for planning in real-time

Author keywords

[No Author keywords available]

Indexed keywords


EID: 32944469006     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (3)

References (7)
  • 2
    • 84958169747 scopus 로고    scopus 로고
    • Exploiting implicit representations in timed automaton verification for controller synthesis
    • Tomlin, C. J., and Greenstreet, M. R., eds., number 2289 in LNCS
    • Goldman, R. P.; Musliner, D. J.; and Pelican, M. J. 2002. Exploiting implicit representations in timed automaton verification for controller synthesis. In Tomlin, C. J., and Greenstreet, M. R., eds., Hybrid Systems: Computation and Control (HSCC 2002), number 2289 in LNCS. 225-238.
    • (2002) Hybrid Systems: Computation and Control (HSCC 2002) , pp. 225-238
    • Goldman, R.P.1    Musliner, D.J.2    Pelican, M.J.3
  • 4
    • 0029274963 scopus 로고
    • World modeling for the dynamic construction of real-time control plans
    • Musliner, D. J.; Durfee, E. H.; and Shin, K. G. 1995. World modeling for the dynamic construction of real-time control plans. Artificial Intelligence 74(1):83-127.
    • (1995) Artificial Intelligence , vol.74 , Issue.1 , pp. 83-127
    • Musliner, D.J.1    Durfee, E.H.2    Shin, K.G.3
  • 7
    • 84956981622 scopus 로고    scopus 로고
    • Imposing real-time constraints on self-adaptive controller synthesis
    • number 1936 in Lecture Notes in Computer Science
    • Musliner, D. J. 2001. Imposing real-time constraints on self-adaptive controller synthesis. In Self-Adaptive Software, number 1936 in Lecture Notes in Computer Science.
    • (2001) Self-Adaptive Software
    • Musliner, D.J.1


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