On the regularization of Zeno hybrid automata - Concepedia

Concepedia

Publication | Open Access

On the regularization of Zeno hybrid automata

DOI Full Paper Access

549

Citations

9

References

1999

Year

Karl Henrik Johansson, Magnus Egerstedt, John Lygeros, Shankar Sastry

Systems & Control Letters

Mathematical ProgrammingLogical AutomatonEngineeringZeno Hybrid AutomataFormal MethodsPushdown AutomatonAutomaton Operation

References

	Year	Citations

Page 1