Verification and Control of Hybrid Systems: A Symbolic Approach

EVerification E and Control of Hybrid Systems Paulo Tabuada Verification and Control of Hybrid Systems A Symbolic Ap...
Author:  Paulo Tabuada

36 downloads 982 Views 4MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!

Report copyright / DMCA form

Recommend Documents

DYNAMICS AND CONTROL OF HYBRID MECHANICAL SYSTEMS WORLD SCIENTIFIC SERIES ON NONLINEAR SCIENCE Editor: Leon O. Chua U...

Lecture Notes in Control and Information Sciences Editors: M. Thoma, F. Allgöwer, M. Morari 383 Ehsan Sobhani-Tehran...

LANGUAGE AND SYMBOLIC SYSTEMS BY Y U E N REN C H A O Agassiz Professor of Oriental Languages and Literature Emeritus, U...

Analysis and Control of Nonlinear Systems Mathematical Engineering Series Editors: Prof. Dr. Claus Hillermeier, Munic...

Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis and J. van Leeuwen 1567 3 Berlin Heidelberg New Yor...

Diss. ETH No. 17662 Efficient Software Tools for Control and Analysis of Hybrid Systems A dissertation submitted to the...

Biometric Technologies and Verification Systems This page intentionally left blank Biometric Technologies and Verif...