Stefano Minopoli
Stefano Minopoli
United Technologies Research Center
Dirección de correo verificada de utrc.utc.com - Página principal
TítuloCitado porAño
Analysis of timed recursive state machines
M Benerecetti, S Minopoli, A Peron
2010 17th International Symposium on Temporal Representation and Reasoning …, 2010
302010
PDDL+ planning with hybrid automata: Foundations of translating must behavior
S Bogomolov, D Magazzeni, S Minopoli, M Wehrle
Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015
272015
SL2SX translator: from Simulink to SpaceEx models
S Minopoli, G Frehse
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
262016
Automatic synthesis of switching controllers for linear hybrid systems: Safety control
M Benerecetti, M Faella, S Minopoli
Theoretical Computer Science 493, 116-138, 2013
172013
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
72016
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, 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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–15