Author:
Ding Jerry,Kamgarpour Maryam,Summers Sean,Abate Alessandro,Lygeros John,Tomlin Claire
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference45 articles.
1. Abate, A., Amin, S., Prandini, M., Lygeros, J., & Sastry, S. (2006). Probabilistic reachability and safe sets computation for discrete time stochastic hybrid systems. In Proceedings of the 45th IEEE conference on decision and control (pp. 258–263). December.
2. Approximate model checking of stochastic hybrid systems;Abate;European Journal of Control,2010
3. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems;Abate;Automatica,2008
4. Three-dimensional kneed bipedal walking: a hybrid geometric approach;Ames,2009
5. Safe and secure networked control systems under denial-of-service attacks;Amin,2009
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献