related documents
- A Semismooth Predictor Corrector Method for Suboptimal Model Predictive Control Conference Proceeding
- Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems Conference Proceeding
- Compositional Abstractions of Interconnected Discrete-Time Switched Systems Conference Proceeding
- Compositional Synthesis of not Necessarily Stabilizable Stochastic Systems via Finite Abstractions Conference Proceeding