Author:
Bak Stanley,Bogomolov Sergiy,Althoff Matthias
Publisher
Springer International Publishing
Reference46 articles.
1. Althoff, M.: An introduction to CORA 2015. In: Proceeding of the Workshop on Applied Verification for Continuous and Hybrid Systems, pp. 120–151 (2015)
2. Althoff, M., Krogh, B.H.: Avoiding geometric intersection operations in reachability analysis of hybrid systems. In: Hybrid Systems: Computation and Control, HSCC 2012, Beijing, China, 17–19 April 2012, pp. 45–54 (2012)
3. Althoff, M., Le Guernic, C., Krogh, B.H.: Reachable set computation for uncertain time-varying linear systems. In: Hybrid Systems: Computation and Control, pp. 93–102 (2011)
4. Althoff, M., Rajhans, A., Krogh, B.H., Yaldiz, S., Li, X., Pileggi, L.: Formal verification of phase-locked loops using reachability analysis and continuization. In: Proceeding of the International Conference on Computer Aided Design, pp. 659–666 (2011)
5. Althoff, M., Stursberg, O., Buss, M.: Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes. Nonlinear Anal. Hybrid Syst. 4(2), 233–249 (2010)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献