Comparing forward and backward reachability as tools for safety analysis

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4416 LNCS, Issue , 2007, Pages 428-443

  Mitchell, Ian M ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; CONVERGENCE OF NUMERICAL METHODS; DYNAMICAL SYSTEMS; REVERSE ENGINEERING; SAFETY ENGINEERING;

BACKWARD ALGORITHMS; BACKWARD REACHABILITY; REVERSE TIME TRAJECTORIES;

FEEDBACK CONTROL;

EID: 38049127366     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71493-4_34     Document Type: Conference Paper

References (24)

1. Hiskens, I.A., Pai, M.A.: Trajectory sensitivity analysis of hybrid systems. IEEE Transactions on Circuits and Systems 47(2) (2000) 204-220
2. Han, Z., Krogh, B.H.: Reachability analysis of large-scale affine systems using low-dimensional polytopes. In Hespanha, J., Tiwari, A., eds.: Hybrid Systems: Computation and Control. Number 3927 in Lecture Notes in Computer Science. Springer Verlag (2006) 287-301
3. Henzinger, T.A., Ho, P.H., Wong-Toi, H.: Algorithmic analysis of nonlinear hybrid systems. IEEE Transactions on Automatic Control 43(4) (1998) 540-554
4. Greenstreet, M., Mitchell, I.: Reachability analysis using polygonal projections. In Vaandrager, F., van Schuppen, J., eds.: Hybrid Systems: Computation and Control. Number 1569 in Lecture Notes in Computer Science. Springer Verlag (1999) 103-116
5. Bemporad, A., Torrisi, F.D., Morari, M.: Optimization-based verification and stability characterization of piecewise affine and hybrid systems. In Krogh, B., Lynch, N., eds.: Hybrid Systems: Computation and Control. Number 1790 in Lecture Notes in Computer Science. Springer Verlag (2000) 45-59
6. Girard, A., Guernic, C.L., Maler, O.: Efficient computation of reachable sets of linear time-invariant systems with inputs. In Hespanha, J., Tiwari, A., eds.: Hybrid Systems: Computation and Control. Number 3927 in Lecture Notes in Computer Science. Springer Verlag (2006) 257-271
7. Kurzhanski, A.B., Varaiya, P.: Reachability analysis for uncertain systems-the ellipsoidal technique. Dynamics of Continuous, Discrete and Impulsive Systems Series B: Applications and Algorithms 9(3) (2002) 347-367
8. Saint-Pierre, P.: Hybrid kernels and capture basins for impulse constrained systems. In Tomlin, C.J., Greenstreet, M.R., eds.: Hybrid Systems: Computation and Control. Number 2289 in Lecture Notes in Computer Science. Springer Verlag (2002) 378-392
9. Mitchell, I.M., Bayen, A.M., Tomlin, C.J.: A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games. IEEE Transactions on Automatic Control 50(7) (2005) 947-957
10. Gao, Y., Lygeros, J., Quincampoix, M.: The reachability problem for uncertain hybrid systems revisited: The viability theory perspective. In Hespanha, J., Tiwari, A., eds.: Hybrid Systems: Computation and Control, Number 3927 in Lecture Notes in Computer Science. Springer Verlag (2006) 242-256
11. Tiwari, A., Khanna, G.: Series of abstractions for hybrid automata. In Tomlin, C.J., Greenstreet, M.R., eds.: Hybrid Systems: Computation and Control. Number 2289 in Lecture Notes in Computer Science. Springer Verlag (2002) 465-478
12. Kloetzer, M., Belta, C.: Reachability analysis of multi-affine systems. In Hespanha, J., Tiwari, A., eds.: Hybrid Systems: Computation and Control. Number 3927 in Lecture Notes in Computer Science. Springer Verlag (2006) 348-362
13. Johansson, M., Rantzer, A.: Computation of piecewise quadratic Lyapunov functions for hybrid systems. IEEE Transactions on Automatic Control 43(4) (1998) 555-559
14. Prajna, S., Jadbabaie, A.: Safety verification of hybrid systems using barrier certificates. In Alur, R., Pappas, G.J., eds.: Hybrid Systems: Computation and Control. Number 2993 in Lecture Notes in Computer Science. Springer Verlag (2004) 477-492
15. Stangier, C., Sidle, T.: Invariant checking combining forward and backward traversal. In Hu, A.J., Martin, A.K., eds.: Formal Methods in Computer-Aided Design, Number 3312 in Lecture Notes in Computer Science. Springer Verlag (2004) 414-429
16. Broucke, M., Arapostathis, A.: Continuous selections of trajectories of hybrid systems. Systems and Control Letters 47 (2002) 149-157
17. Lygeros, J., Johansson, K.H., Simic, S.N., Zhang, J., Sastry, S.: Dynamical properties of hybrid automata. IEEE Transactions on Automatic Control 48(1) (2003) 2-17
18. Evans, L.C., Souganidis, P.E.: Differential games and representation formulas for solutions of Hamilton-Jacobi-Isaacs equations. Indiana University Mathematics Journal 33(5) (1984) 773-797
19. Mitchell, I.M.: Comparing forward and backward reachability as tools for safety analysis. Technical Report TR-2006-23, Department of Computer Science, University of British Columbia, Vancouver, BC, Canada (2006)
20. Hiskens, I.A.: Non-uniqueness in reverse time of hybrid system trajectories. In Morari, M., Thiele, L., eds.: Hybrid Systems: Computation and Control. Number 3414 in Lecture Notes in Computer Science. Springer Verlag (2005) 339-353
21. Ascher, U.M., Petzold, L.R.: Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. Society for Industrial and Applied Mathematics, Philadelphia (1998)
22. Yuan, J., Svensson, C.: High-speed CMOS circuit technique. IEEE Journal of Solid-State Circuits 24(1) (1989) 62-70
23. Hodges, D.A., Jackson, H.G., Saleh, R.A.: Analysis and Design of Digital Integrated Circuits in Deep Submicron Technology. Third edn. McGraw Hill, New York (2004)
24. Greenstreet, M.R.: Verifying safety properties of differential equations. In Alur, R., Henzinger, T.A., eds.: Computer Aided Verification. Number 1102 in Lecture Notes in Computer Science. Springer Verlag (1996) 277-287