Browsing by Subject Differential inclusions
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
2008 | Algorithmic analysis of polygonal hybrid systems, part II : phase portrait and tools | Asarin, Eugene; Pace, Gordon J.; Schneider, Gerardo; Yovine, Sergio |
2002 | SPeeDI - a verification tool for polygonal hybrid systems | Asarin, Eugene; Pace, Gordon J.; Schneider, Gerardo; Yovine, Sergio |
2006 | Static analysis for state-space reduction of polygonal hybrid systems | Pace, Gordon J.; Schneider, Gerardo |