SL2SX translator: from Simulink to SpaceEx models S Minopoli, G Frehse Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 68 | 2016 |
PDDL+ planning with hybrid automata: Foundations of translating must behavior S Bogomolov, D Magazzeni, S Minopoli, M Wehrle Proceedings of the International Conference on Automated Planning and …, 2015 | 42 | 2015 |
Analysis of timed recursive state machines M Benerecetti, S Minopoli, A Peron 2010 17th International Symposium on Temporal Representation and Reasoning …, 2010 | 40 | 2010 |
Automatic synthesis of switching controllers for linear hybrid systems: Safety control M Benerecetti, M Faella, S Minopoli Theoretical Computer Science 493, 116-138, 2013 | 23 | 2013 |
From simulation models to hybrid automata using urgency and relaxation S Minopoli, G Frehse Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 15 | 2016 |
Non-convex invariants and urgency conditions on linear hybrid automata S Minopoli, G Frehse Formal Modeling and Analysis of Timed Systems: 12th International Conference …, 2014 | 13 | 2014 |
Revisiting synthesis of switching controllers for linear hybrid systems M Benerecetti, M Faella, S Minopoli 2011 50th IEEE Conference on Decision and Control and European Control …, 2011 | 10 | 2011 |
SL2SX translator: from simulink to SpaceEx verification tool S Minopoli, G Frehse 19th ACM International Conference on Hybrid Systems: Computation and Control …, 2016 | 9 | 2016 |
Reachability games for linear hybrid systems M Benerecetti, M Faella, S Minopoli Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012 | 8 | 2012 |
Towards efficient exact synthesis for linear hybrid systems M Benerecetti, M Faella, S Minopoli arXiv preprint arXiv:1106.1246, 2011 | 7 | 2011 |
Automatic synthesis of switching controllers for linear hybrid automata M Benerecetti, M Faella, S Minopoli arXiv preprint arXiv:1103.4584, 2011 | 4 | 2011 |
Running SpaceEx on the ARCH14 Benchmarks. S Minopoli, G Frehse ARCH@ CPSWeek, 196-206, 2015 | 3 | 2015 |
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior (Technical Report) S Bogomolov, D Magazzeni, S Minopoli, M Wehrle | | 2015 |
Games, Automata, Logic, and Formal Verification (GandALF 2011) E Grädel, D Bresolin, M Capiluppi, M Zimmermann, S Grüner, ... | | 2013 |
Synthesis of Switching Controllers for Linear Hybrid Systems S MINOPOLI, E BURATTINI, M BENERECETTI, DM FAELLA | | 2011 |
Automatic Synthesis of Switching Controllers for Linear Hybrid Automata Technical Report M Benerecetti, M Faella, S Minopoli arXiv preprint arXiv:1103.4584, 2011 | | 2011 |