A dynamic algorithm for approximate flow computations

HSCC'11 - Proceedings of the 2011 ACM/SIGBED Hybrid Systems: Computation and Control

Volumn , Issue , 2011, Pages 133-142

  Prabhakar, Pavithra ^a   Viswanathan, Mahesh ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

Approximation; Linear dynamical systems; Post computation

Indexed keywords

APPROXIMATION; DYNAMIC ALGORITHM; EQUAL SIZES; ERROR BOUND; EXPERIMENTAL EVALUATION; FLOW COMPUTATION; LINEAR DYNAMICAL SYSTEMS; POST COMPUTATION; SUB-INTERVAL; TIME BOUND;

HYBRID COMPUTERS; HYBRID SYSTEMS; LINEAR CONTROL SYSTEMS;

APPROXIMATION ALGORITHMS;

EID: 79956009868     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1967701.1967722     Document Type: Conference Paper

References (27)

1. R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The algorithmic analysis of hybrid systems. Theoretical Computer Science, 138(1):3-34, 1995.
2. R. Alur, T. Dang, and F. Ivancic. Counter-Example Guided Predicate Abstraction of Hybrid Systems. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 208-223, 2003.
3. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
4. E. Asarin, T. Dang, and A. Girard. Hybridization methods for the analysis of nonlinear systems. Acta Informatica, 43(7):451-476, 2007.
5. A. Chutinan and B.H. Krogh. Infinite state transition system verification using approximate quotient transition systems. IEEE Transactions on Automatic Control, 46:1401-1410, 2001. (Pubitemid 32981643)
6. A. Chutinan and B.H. Krogh. Computational techniques for hybrid system verification. IEEE Transactions on Automatic Control, 48(1):64-75, 2003.
7. E.M. Clarke, A. Fehnker, Z. Han, B. Krogh, J. Ouaknine, O. Stursberg, and M. Theobald. Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems. International Journal on Foundations of Computer Science, 14(4):583-604, 2003.
8. E.M. Clarke, A. Fehnker, Z. Han, B. Krogh, J. Ouaknine, O. Stursberg, and M. Theobald. Verification of Hybrid Systems Based on Counterexmple-Guided Abstraction Refinement. In Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 192-207, 2003.
9. T. Dang and O. Maler. Reachability analysis via face lifting. In Proceedings of the International Conference on Hybrid Systems: Computation and Control, pages 96-109, 1998. (Pubitemid 128055511)
10. T. Dang, O. Maler, and R. Testylier. Accurate hybridization of nonlinear systems. In Proceedings of the International Conference on Hybrid Systems: Computation and Control, pages 11-20, 2010.
11. A. Fehnker, E.M. Clarke, S. Jha, and B. Krogh. Refining Abstractions of Hybrid Systems using Counterexample Fragments. In Proceedings of the International Conference on Hybrid Systems: Computation and Control, pages 242-257, 2005. (Pubitemid 41252071)
12. A. Fehnker and F. Ivancic. Benchmarks for hybrid systems verification. In Proceedings of the International Conference on Hybrid Systems: Computation and Control, pages 326-341, 2004.
13. A. Girard. Reachability of uncertain linear systems using zonotopes. In Proceedings of the International Conference on Hybrid Systems: Computation and Control, pages 291-305, 2005. (Pubitemid 41252074)
14. A. Girard and C.L. Guernic. Zonotope/Hyperplane intersecion for hybrid systems reachability analysis. In Proceedings of the International Conference on Hybrid Systems: Computation and Control, pages 215-228, 2008.
15. C.L. Guernic and A. Girard. Reachability analysis of hybrid systems using support functions. In Proceedings of the International Conference on Computer Aided Verification, pages 540-554, 2009.
16. T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? In Proceedings of the ACM Symposium on Theory of Computation, pages 373-382, 1995.
17. S.K. Jha, B.H. Krogh, J.E. Weimer, and E.M. Clarke. Reachability for linear hybrid automata using iterative relaxation abstraction. In Proceedings of the International Conference on Hybrid Systems: Computation and Control, pages 287-300, 2007.
18. A.B. Kurzhanski and P. Varaiya. Ellipsoidal techniques for reachability analysis. In Proceedings of the International Conference on Hybrid Systems: Computation and Control, pages 202-214, 2000.
19. G. Lafferriere, G.J. Pappas, and S. Sastry. O-minimal Hybrid Systems. Mathematics of Control, Signals, and Systems, 13(1):1-21, 2000. (Pubitemid 30578622)
20. G.G. Lorentz. Bernstein Polynomials. University of Toronto Press, 1953.
21. I. Mitchell and C. Tomlin. Level set methods for computation in hybrid systems. In Proceedings of the International Conference on Hybrid Systems: Computation and Control, pages 310-323, 2000.
22. Venkatesh Mysore, Carla Piazza, and Bud Mishra. Algorithmic Algebraic Model Checking II: Decidability of Semi-algebraic Model Checking and Its Applications to Systems Biology. In atva, pages 217-233, 2005.
23. Carla Piazza, Marco Antoniotti, Venkatesh Mysore, Alberto Policriti, Franz Winkler, and Bud Mishra. Algorithmic Algebraic Model Checking I: Challenges from Systems Biology. In Proceedings of the International Conference on Computer Aided Verification, pages 5-19, 2005. (Pubitemid 41431716)
24. P. Prabhakar, V. Vladimerou, M. Viswanathan, and G.E. Dullerud. Verifying tolerant systems using polynomial approximations. In Proceedings of the IEEE Real-Time Systems Symposium, pages 181-190, 2009.
25. A. Puri, V.S. Borkar, and P. Varaiya. e-approximation of differential inclusions. In Proceedings of the International Conference on Hybrid Systems: Computation and Control, pages 362-376, 1995.
26. M. Segelken. Abstraction and Counterexample-guided Construction of Omega-Automata for Model Checking of Step-discrete linear Hybrid Models. In Proceedings of the International Conference on Computer Aided Verification, pages 433-448, 2007.
27. V. Vladimerou, P. Prabhakar, M. Viswanathan, and G.E. Dullerud. STORMED hybrid systems. In Proceedings of the International Colloquium on Automata, Languages and Programming, pages 136-147, 2008.