Segui
Stefano Minopoli
Stefano Minopoli
Collins Aerospace - Applied Research and Technology
Email verificata su collins.com
Titolo
Citata da
Citata da
Anno
SL2SX translator: from Simulink to SpaceEx models
S Minopoli, G Frehse
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
622016
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
422015
Analysis of timed recursive state machines
M Benerecetti, S Minopoli, A Peron
2010 17th International Symposium on Temporal Representation and Reasoning …, 2010
382010
Automatic synthesis of switching controllers for linear hybrid systems: Safety control
M Benerecetti, M Faella, S Minopoli
Theoretical Computer Science 493, 116-138, 2013
222013
From simulation models to hybrid automata using urgency and relaxation
S Minopoli, G Frehse
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
142016
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
112014
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
SL2SX translator: from simulink to SpaceEx verification tool
S Minopoli, G Frehse
19th ACM International Conference on Hybrid Systems: Computation and Control …, 2016
92016
Reachability games for linear hybrid systems
M Benerecetti, M Faella, S Minopoli
Proceedings of the 15th ACM international conference on Hybrid Systems …, 2012
82012
Towards efficient exact synthesis for linear hybrid systems
M Benerecetti, M Faella, S Minopoli
arXiv preprint arXiv:1106.1246, 2011
72011
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
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–16