Verification and Synthesis of Hybrid Systems - PowerPoint PPT Presentation

1 / 47
} ?>
View by Category
About This Presentation
Title:

Verification and Synthesis of Hybrid Systems

Description:

represent reachable sets by orthogonal polyhedra. What do we need? ... Find an orthogonal polyhedron over-approximating the reachable set from F ... – PowerPoint PPT presentation

Number of Views:64
Avg rating:3.0/5.0
Slides: 48
Provided by: pri7157
Learn more at: http://www-verimag.imag.fr
Category:

less

Write a Comment
User Comments (0)
About PowerShow.com