related documents

• Accurate reachability analysis of uncertain nonlinear systems  Conference Proceeding
• Constructing Control System Abstractions from Modular Components  Conference Proceeding
• From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes  Conference Proceeding
• Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems  Conference Proceeding
• Poster: Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach  Conference Proceeding
• Poster: Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs  Conference Proceeding
• Poster: Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms  Conference Proceeding