메뉴 건너뛰기
IFAC Proceedings Volumes (IFAC-PapersOnline)
Volumn 17, Issue 1 PART 1, 2008, Pages
Verification of uncertain embedded systems by computing reachable sets based on zonotopes
Author keywords

Hybrid systems modeling and control; Switched discrete and hybrid systems; Verification
Indexed keywords

CONTINUOUS DYNAMICS; DESIGN FAILURES; FORMAL VERIFICATIONS; POLYTOPES; REACHABILITY ANALYSIS; REACHABLE SET; SET REPRESENTATION; STATE SPACE; SWITCHED DISCRETE AND HYBRID SYSTEMS; TIME VARYING; ZONOTOPES;
EID: 79961020168     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20080706-5-KR-1001.2564     Document Type: Conference Paper
Times cited : (25)
References (10)
  • 1
    • 62749094424 scopus 로고    scopus 로고
    • Reachability analysis of linear systems with uncertain parameters and inputs
    • DOI 10.1109/CDC.2007.4434084, 4434084, Proceedings of the 46th IEEE Conference on Decision and Control 2007, CDC
    • M. Althoff, O. Stursberg, and M. Buss. Reachability analysis of linear systems with uncertain parameters and inputs. In Proc. 46th Conf. Decision and Control, pages 726-732, 2007. (Pubitemid 351277239)
    • (2007) Proceedings of the IEEE Conference on Decision and Control , pp. 726-732
    • Althoff, M.1    Stursberg, O.2    Buss, M.3
  • 2
    • 84974735953 scopus 로고    scopus 로고
    • Verification of hybrid sys- Tems with linear differential inclusions using ellipsoidal approximations
    • of LNCS, Springer
    • O. Botchkarev and S. Tripakis. Verification of hybrid sys- tems with linear differential inclusions using ellipsoidal approximations. In Hybrid Systems: Comp. and Control, volume 1790 of LNCS, pages 73-88. Springer, 2000.
    • (2000) Hybrid Systems: Comp. and Control , vol.1790 , pp. 73-88
    • Botchkarev, O.1    Tripakis, S.2
  • 3
    • 0037250532 scopus 로고    scopus 로고
    • Computational techniques for hybrid system verification
    • A. Chutinan and B. H. Krogh. Computational techniques for hybrid system verification. In IEEE Transactions on Automatic Control, volume 48, pages 64-75, 2003.
    • (2003) IEEE Transactions on Automatic Control , vol.48 , pp. 64-75
    • Chutinan, A.1    Krogh, B.H.2
  • 4
    • 35048826324 scopus 로고    scopus 로고
    • Benchmarks for hybrid systems verification
    • of LNCS, Springer
    • A. Fehnker and F. Ivancic. Benchmarks for hybrid systems verification. In Hybrid Systems: Comp. and Control, volume 2993 of LNCS, pages 326-341. Springer, 2004.
    • (2004) Hybrid Systems: Comp. and Control , vol.2993 , pp. 326-341
    • Fehnker, A.1    Ivancic, F.2
  • 5
    • 4344711578 scopus 로고    scopus 로고
    • From the zonotope construction to the minkowski addition of convex polytopes
    • October
    • K. Fukuda. From the zonotope construction to the minkowski addition of convex polytopes. Journal of Symbolic Computation, 38(4):1261-1272, October 2004.
    • (2004) Journal of Symbolic Computation , vol.38 , Issue.4 , pp. 1261-1272
    • Fukuda, K.1
  • 6
    • 24344472268 scopus 로고    scopus 로고
    • Reachability of uncertain linear systems using zonotopes
    • of LNCS, Springer
    • A. Girard. Reachability of uncertain linear systems using zonotopes. In Hybrid Systems: Comp. and Control, volume 3414 of LNCS, pages 291-305. Springer, 2005.
    • (2005) Hybrid Systems: Comp. and Control , vol.3414 , pp. 291-305
    • Girard, A.1
  • 8
    • 70349383709 scopus 로고    scopus 로고
    • The n-dimensional cross product and its application to the matrix eigenanalysis
    • D. Mortari. The n-dimensional cross product and its application to the matrix eigenanalysis. In Proc. of the AIAA/AAS Astrodynamics Conference, 1996.
    • (1996) Proc. of the AIAA/AAS Astrodynamics Conference
    • Mortari, D.1
  • 9
    • 35248883424 scopus 로고    scopus 로고
    • Efficient representation and computation of reachable sets for hybrid systems
    • of LNCS, Springer
    • O. Stursberg and B. H. Krogh. Efficient representation and computation of reachable sets for hybrid systems. In Hybrid Systems: Comp. and Control, volume 2623 of LNCS, pages 482-497. Springer, 2003.
    • (2003) Hybrid Systems: Comp. and Control , vol.2623 , pp. 482-497
    • Stursberg, O.1    Krogh, B.H.2

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