related documents

• Compositional Approximations of Interconnected Stochastic Hybrid Systems  Conference Proceeding
• Finite Abstractions of Networked Control Systems  Conference Proceeding
• Iterative Computation of Polyhedral Invariants Sets for Polynomial Dynamical Systems  Conference Proceeding
• Reverse and Forward Engineering of Frequency Control in Power Networks  Conference Proceeding