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 ... more