메뉴 건너뛰기




Volumn , Issue , 2006, Pages 258-263

Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; OPTIMAL CONTROL SYSTEMS; PROBABILITY; PROBLEM SOLVING; SET THEORY; STOCHASTIC CONTROL SYSTEMS;

EID: 38049160320     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/cdc.2006.377091     Document Type: Conference Paper
Times cited : (11)

References (9)
  • 1
    • 0015035154 scopus 로고
    • On the minimax reachability of target sets and target tubes
    • D. P. Bertsekas and I. B. Rhodes, "On the minimax reachability of target sets and target tubes," Automatica, vol. 7, pp. 233-247, 1971.
    • (1971) Automatica , vol.7 , pp. 233-247
    • Bertsekas, D.P.1    Rhodes, I.B.2
  • 3
    • 33745789865 scopus 로고    scopus 로고
    • Reachability analysis for controlled discrete time stochastic hybrid systems
    • Hybrid Systems: Computation and Control, J. Hespanha and A. Tiwari, Eds. Springer Verlag
    • S. Amin, A. Abate, M. Prandini, J. Lygeros, and S. Sastry, "Reachability analysis for controlled discrete time stochastic hybrid systems," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science 3927, J. Hespanha and A. Tiwari, Eds. Springer Verlag, 2006, pp. 49-63.
    • (2006) ser. Lecture Notes in Computer Science , vol.3927 , pp. 49-63
    • Amin, S.1    Abate, A.2    Prandini, M.3    Lygeros, J.4    Sastry, S.5
  • 4
    • 84957883066 scopus 로고    scopus 로고
    • Synthesizing controllers for nonlinear hybrid systems
    • Hybrid Systems: Computation and Control, T. Henzinger and S. Sastry, Eds. Springer Verlag
    • C. Tomlin, J. Lygeros, and S. Sastry, "Synthesizing controllers for nonlinear hybrid systems," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science 1386, T. Henzinger and S. Sastry, Eds. Springer Verlag, 1998, pp. 360-373.
    • (1998) ser. Lecture Notes in Computer Science , vol.1386 , pp. 360-373
    • Tomlin, C.1    Lygeros, J.2    Sastry, S.3
  • 5
    • 84974666933 scopus 로고    scopus 로고
    • A. Balluchi, L. Benvenuti, M. D. Di Benedetto, G. M. Miconi, U. Pozzi, T. Villa, H. Wong-Toi, and A. L. Sangiovanni-Vincentelli, Maximal safe set computation for idle speed control of an automotive engine, in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science 1790, N. Lynch and B. Krogh, Eds. Springer Verlag, 2000, pp. 32-44.
    • A. Balluchi, L. Benvenuti, M. D. Di Benedetto, G. M. Miconi, U. Pozzi, T. Villa, H. Wong-Toi, and A. L. Sangiovanni-Vincentelli, "Maximal safe set computation for idle speed control of an automotive engine," in Hybrid Systems: Computation and Control, ser. Lecture Notes in Computer Science 1790, N. Lynch and B. Krogh, Eds. Springer Verlag, 2000, pp. 32-44.
  • 6
    • 0015415971 scopus 로고
    • Infinite-time reachability of state-space regions using feedback control
    • D. P. Bertsekas, "Infinite-time reachability of state-space regions using feedback control," IEEE Transactions on Automatic Control, vol. AC17, no. 5, pp. 604-613, 1972.
    • (1972) IEEE Transactions on Automatic Control , vol.AC17 , Issue.5 , pp. 604-613
    • Bertsekas, D.P.1
  • 7
    • 33751504286 scopus 로고    scopus 로고
    • Control synthesis for practical stabilization of quantized linear systems
    • Universita' di Torino
    • B. Picasso and A. Bicchi, "Control synthesis for practical stabilization of quantized linear systems," Ren. Sem. Mat. Universita' di Torino, vol. 63, no. 4, pp. 397-410, 2005.
    • (2005) Ren. Sem. Mat , vol.63 , Issue.4 , pp. 397-410
    • Picasso, B.1    Bicchi, A.2


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