• Home
  • Polyhedral Invariant Hybrid Automata