Author:
Puri Anuj,Borkar Vivek,Varaiya Pravin
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. R. Abraham, J.E. Marsden, and T. Raitu, Manifolds, Tensor Analysis, and Applications, Springer-Verlag, 1988.
2. R. Alur et. al., The Algorithmic Analysis of Hybrid Systems, Theoretical Computer Science, Feb. 1995.
3. R.Alur, C.Courcoubetis, T.A. Henzinger and P.-H. Ho, Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems, Hybrid Systems, LNCS 736, Springer-Verlag.
4. J.P. Aubin and A. Cellina, Differential Inclusions, Springer-Verlag, 1984.
5. J.P. Aubin, Viability Theory, Birkhauser, 1991.
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Computable analysis with applications to dynamic systems;Mathematical Structures in Computer Science;2020-02
2. Accurate reachability analysis of uncertain nonlinear systems;Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week);2018-04-11
3. State estimation of system with bounded uncertain parameters: Interval multimodel approach;International Journal of Adaptive Control and Signal Processing;2018-01-17
4. HARE: A Hybrid Abstraction Refinement Engine for Verifying Non-linear Hybrid Automata;Tools and Algorithms for the Construction and Analysis of Systems;2017
5. Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics;Tools and Algorithms for the Construction and Analysis of Systems;2016