References
- ABATE, A., A. AMES, AND S. SASTRY. 2006. Error bounds based stochastic approximations and simulations of hybrid dynamical systems. American Control Conference, 2006, 6.
- ALUR, R., C. COURCOUBETIS, N. HALBWACHS, T. A. HENZINGER, P.-H. HO, X. NICOLLIN, A. OLIVERO, J. SIFAKIS, AND S. YOVINE. 1995. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138, 1 (Feb.), 3-34. https://doi.org/10.1016/0304-3975(94)00202-T
- ALUR, R. AND D. L. DILL. 1994. A theory of timed automata. Theoretical Computer Science 126, 2, 183-235. https://doi.org/10.1016/0304-3975(94)90010-8
- CHUTINAN, A. 1999. Hybrid system verification using discrete model approximations. Ph.D. thesis, pages 11-13. Department of Electrical and Computer Engineering, Carnegie Mellon University.
- CHUTINAN, A. AND B. KROGH. 2003. Computational techniques for hybrid system verification. IEEE Transactions on Automatic Control 48, 1 (JANUARY), 64-75. https://doi.org/10.1109/TAC.2002.806655
- DONZE, A. AND O. MALER. 2007. Systematic simulation using sensitivity analysis. In HSCC. 174-189.
- ESPOSITO, J. M., V. KUMAR, AND G. J. PAPPAS. 2001. Accurate event detection for simulating hybrid systems. In Hybrid Systems: Computation and Control, M. D. D. Benedetto and A. L. Sangiovanni-Vincentelli, Eds. LNCS 2034. Springer, 204-217. https://doi.org/10.1007/3-540-45351-2_19
- FIERRO, R. B., A. K. DAS, J. SPLETZER, Y. HUR, R. ALUR, J. M. ESPOSITO, G. Z. GRUDIC, V. KUMAR, I. LEE, J. P. OSTROWSKI, G. J. PAPPAS, J. SOUTHALL, AND C. J. TAYLOR. 2002. A framework and architecture for multirobot coordination. International Journal of Robotics Research 10-11, 977-995. https://doi.org/10.1177/0278364902021010981
- GALLIER, J. H. 1986. Logic for computer science: Foundations of automatic theorem proving. Harper & Row, New York, US.
- GEAR, C. W. 1971. Numerical Initial Value Problems in Ordinary Differential Equations. Prentiec-Hall, Englewood Cli.s, US.
- HENZINGER, T. 1996. The theory of hybrid automata. In Proceedings of the 11th Annual Symposium on Logic in Computer Science. IEEE Computer Society Press, 278-292. https://doi.org/10.1109/LICS.1996.561342
- HENZINGER, T. A., B. HOROWITZ, R. MAJUMDAR, AND H. WONG-TOI. 2000. Beyond HYTECH: Hybrid systems analysis using interval numerical methods. In HSCC. 130-144.
- HICKEY, T. J. AND D. K. WITTENBERG. 2004. Rigorous modeling of hybrid systems using interval arithmetic constraints. In Hybrid Systems:Computation and Control. Springer Press, 402-416. https://doi.org/10.1007/978-3-540-24743-2_27
- HUR, Y., J. KIM, I. LEE, AND J.-Y. CHOI. 2004. Sound code generation from communicating hybrid models. In Hybrid Systems: Computation and Control. Springer Press, 432-447.
- JAIN, M. K. 1979. Numerical Solution of Differential Equations. John Wiley & Sons, New York, US.
- LAFFERRIERE, G., G. J. PAPPAS, AND S. YOVINE. 1999. A new class of decidable hybrid systems. In Hybrid Systems: Computation and Control, F. W. Vaandrager and J. H. van Schuppen, Eds. LNCS 1569. Springer, 137-151. https://doi.org/10.1007/3-540-48983-5_15
- LYNCH, N. A., R. SEGALA, F. W. VAANDRAGER, AND H. B. WEINBERG. 1995. Hybrid I/O automata. In Hybrid Systems III, R. Alur, T. A. Henzinger, and E. D. Sontag, Eds. LNCS 1066. Springer, 496-510. https://doi.org/10.1007/BFb0020971
- PARK, T. AND P. BARTON. 1996. State event location in differential-algebraic models. ACM Transactions on Modeling and Computer Simulation 6, 2 (April), 137-165. https://doi.org/10.1145/232807.232809
- PRESS, W. H., S. A. TEUKOLSKY, W. T. VETTERLING, AND B. P. FLANNERY. 1999. Numerical Recipes in C: the Art of Scientific Computing, 2nd edition. Cambridge University Press, Cambridge, UK.
Cited by
- Generating Reliable Code from Hybrid-Systems Models vol.59, pp.9, 2010, https://doi.org/10.1109/TC.2010.84