Browsing by Subject Hybrid systems
Showing results 1 to 6 of 6
| 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 |
| 2015 | Improving the energy yield from an open loop hydraulic offshore turbine through deep sea water extraction and alternative control schemes | Buhagiar, Daniel; Sant, Tonio; Micallef, Christopher; Farrugia, Robert N. |
| 2003 | A new breadth-first search algorithm for deciding SPDI reachability | Pace, Gordon J. |
| 2002 | Performance improvement of polytope approximation in the verification algorithm | Farrugia, David (2002) |
| 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 |
