Consistent hierarchies of nonlinear abstractions
Publisher IEEE Conference on Decision and Control
Year 2000
Decidable Controller Synthesis for Classes of Linear Systems
Publisher Hybrid Systems: Computation and Control
Discrete abstractions of hybrid systems
Publisher Proceedings of the IEEE
Semidecidable controller synthesis for classes of linear hybrid systems
Adaptive Contact-Implicit Model Predictive Control with Online Residual Learning
Publisher arXiv
