Verification and Control of Hybrid Systems - A Symbolic Approach

Abstract

New updated! The latest book from a very famous author finally comes out. Book of verification and control of hybrid systems a symbolic approach, as an amazing reference becomes what you need to get. What's for is this book? Are you still thinking for what the book is? Well, this is what you probably will get. You should have made proper choices for your… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Statistics

0502009201020112012201320142015201620172018
Citations per Year

472 Citations

Semantic Scholar estimates that this publication has 472 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics