Subject
Control and Systems Engineering
Reference21 articles.
1. Principles of cyber-physical systems;Alur,2015
2. Bak, S. Bogomolov, S. and Johnson, T.T. (2015). HyST: A source transformation and translation tool for hybrid automaton models. In 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015). ACM, Seattle, Washington.
3. Bak, S. Bogomolov, S. and Schiling, C. (2016). High-level hybrid systems analysis with hypy. In 3rd International Workshop on Applied Verification of Continuous and Hybrid Systems, EPiC Series in Computing. EasyChair.
4. Real-time reachability for verified Simplex design;Bak,2014
5. Chen, X. Abraham, E. and Sankaranarayanan, S. (2013). Flow*: An analyzer for non-linear hybrid systems. In International Conference on Computer Aided Verification (CAV).
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献