related documents

• Compositional Abstractions of Interconnected Discrete-Time Stochastic Control Systems  Conference Proceeding
• Compositional abstraction of interconnected control systems under dynamic interconnection topology  Conference Proceeding
• Computationally-Efficient Constrained Control of the State-of-Charge of a Li-ion Battery Cell  Conference Proceeding
• Distinguished Vector Fields over Smooth Manifolds with Applications to Ensemble Control  Conference Proceeding
• Infinite-step opacity of nondeterministic finite transition systems: A bisimulation relation approach  Conference Proceeding
• On the Invariance Feedback Entropy of Linear Perturbed Control Systems  Conference Proceeding
• Optimal Continuous State POMDP Planning with Semantic Observations  Conference Proceeding