related documents

• 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
• Verification of Switched Stochastic Systems via Barrier Certificates  Conference Proceeding