related documents

• Compositional construction of abstractions via relaxed small-gain conditions Part I: continuous case  Conference Proceeding
• Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case  Conference Proceeding
• Controller synthesis for incremental stability: Application to symbolic controller synthesis  Conference Proceeding
• Efficient HVAC controls: A symbolic approach  Conference Proceeding
• Machine Learning Based Multi-Physical-Model Blending for Enhancing Renewable Energy Forecast - Improvement via Situation Dependent Error Correction  Conference Proceeding
On a reduced-order two-track car model including longitudinal and lateral load transfer  Conference Proceeding
Symbolic models for stochastic control systems without stability assumptions  Conference Proceeding
Verification of approximate infinite-step opacity using barrier certificates  Conference Proceeding
... more