related documents
- A tractable formulation for multi-period linearized optimal power flow in presence of thermostatically controlled loads Conference Proceeding
- Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations Conference Proceeding
- Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions Conference Proceeding
- Convex Optimization over Sequential Linear Feedback Policies with Continuous-time Chance Constraints Conference Proceeding
- Global Synchronization of Clocks in Directed Rooted Acyclic Graphs: A Hybrid Systems Approach Conference Proceeding
- Quasi-Stochastic Approximation and Off-Policy Reinforcement Learning Conference Proceeding
- Verification of Switched Stochastic Systems via Barrier Certificates Conference Proceeding