Author:
Abbas Houssam,Fainekos Georgios
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Girard, A., LeGuernic, C.: Efficient reachability analysis for linear systems using support functions. In: IFAC World Congress, pp. 22–35 (2008)
2. Althoff, M., Stursberg, O., Buss, M.: Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes. Nonlinear Analysis: Hybrid Systems 4(2), 233–249 (2010)
3. Lecture Notes in Computer Science;A. Girard,2006
4. Lecture Notes in Computer Science;A.A. Julius,2007
5. Branicky, M., Curtiss, M., Levine, J., Morgan, S.: Sampling-based planning, control and verification of hybrid systems. IEE Proc.-Control Theory Appl. 153(5), 575–590 (2006)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献