Concepedia
Nonlinear Analysis Hybrid Systems · 2009 · 202 citations · 3 references
EngineeringComputer EngineeringSystems EngineeringDynamical SystemsModel-based Systems EngineeringSystems AnalysisControl SystemsControl TheoryStabilityLinear State-space SystemsReachabilityReachability Analysis
3
Computational techniques for the verification of hybrid systems
Claire J. Tomlin, Ian M. Mitchell, Alexandre M. Bayen et al. · Proceedings of the IEEE · 2003 · 348 citations
Engineering, Computer Science, Systems Engineering +17
Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems
Alex A. Kurzhanskiy, Pravin Varaiya · IEEE Transactions on Automatic Control · 2007 · 223 citations
Engineering, Mathematics, Systems Engineering +16
Efficient Reachability Analysis for Linear Systems using Support Functions
Antoine Girard, Colas Le Guernic · IFAC Proceedings Volumes · 2008 · 107 citations
Engineering, Computer Engineering, Systems Engineering +6