Stefano Minopoli

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

SL2SX Translator: From Simulink to SpaceEx Models.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

2015

Running SpaceEx on the ARCH14 Benchmarks.

[BibT_eX]

[DOI]

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

2014

Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

2013

Automatic synthesis of switching controllers for linear hybrid systems: Safety control.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2013

2012

Reachability games for linear hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011

Towards Efficient Exact Synthesis for Linear Hybrid Systems

[BibT_eX]

[DOI]

Proceedings of Second International Symposium on Games, 2011

Automatic Synthesis of Switching Controllers for Linear Hybrid Automata

[BibT_eX]

[DOI]

CoRR, 2011

Revisiting synthesis of switching controllers for Linear Hybrid systems.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Analysis of Timed Recursive State Machines.

[BibT_eX]

[DOI]