Stefano Minopoli
Stefano Minopoli
United Technologies Research Center
Verified email at utrc.utc.com - Homepage
Title
Cited by
Cited by
Year
PDDL+ planning with hybrid automata: Foundations of translating must behavior
S Bogomolov, D Magazzeni, S Minopoli, M Wehrle
Association for the Advancement of Artificial Intelligence (AAAI), 2016
302016
Analysis of timed recursive state machines
M Benerecetti, S Minopoli, A Peron
2010 17th International Symposium on Temporal Representation and Reasoningá…, 2010
302010
SL2SX translator: from Simulink to SpaceEx models
S Minopoli, G Frehse
Proceedings of the 19th International Conference on Hybrid Systemsá…, 2016
292016
Automatic synthesis of switching controllers for linear hybrid systems: Safety control
M Benerecetti, M Faella, S Minopoli
Theoretical Computer Science 493, 116-138, 2013
192013
Non-convex invariants and urgency conditions on linear hybrid automata
S Minopoli, G Frehse
International Conference on Formal Modeling and Analysis of Timed Systemsá…, 2014
102014
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
102011
From simulation models to hybrid automata using urgency and relaxation
S Minopoli, G Frehse
Proceedings of the 19th International Conference on Hybrid Systemsá…, 2016
82016
SL2SX translator: from simulink to SpaceEx verification tool
S Minopoli, G Frehse
19th ACM International Conference on Hybrid Systems: Computation and Controlá…, 2016
82016
Towards efficient exact synthesis for linear hybrid systems
M Benerecetti, M Faella, S Minopoli
arXiv preprint arXiv:1106.1246, 2011
72011
Reachability games for linear hybrid systems
M Benerecetti, M Faella, S Minopoli
Proceedings of the 15th ACM international conference on Hybrid Systemsá…, 2012
62012
Automatic synthesis of switching controllers for linear hybrid automata
M Benerecetti, M Faella, S Minopoli
arXiv preprint arXiv:1103.4584, 2011
42011
Running SpaceEx on the ARCH14 Benchmarks.
S Minopoli, G Frehse
ARCH@ CPSWeek, 196-206, 2015
32015
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior (Technical Report)
S Bogomolov, D Magazzeni, S Minopoli, M Wehrle
2015
Synthesis of Switching Controllers for Linear Hybrid Systems
S MINOPOLI, E BURATTINI, M BENERECETTI
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
The system can't perform the operation now. Try again later.
Articles 1–15