Hybrid systems

Table of Contents Bookmarks Piecewise Smooth Systems European Projects Tools

Bookmarks

• Hybrid Systems Tools | Main / Verification browse
• Hybrid Courses
• Symbolic Computations in Hybrid Systems Verification
• Computational Techniques for the Verification of Hybrid Systems

Piecewise Smooth Systems

• Piecewise Affine Systems
• Piecewise Polynomial Systems

European Projects

• UCOCOS

Tools

• conPAS2