Verification and Control of Hybrid Systems: A Symbolic Approach

Hybrid systems describe the interaction of software, modeled by finite-state systems such as finite-state machines, with the physical world, described by infinite-state systems such as differential equations. Verification and Control of Hybrid Systems provides a unique systematic exposition of sever... Ausführliche Beschreibung

1. Person: Tabuada, Paulo
Weitere Körperschaften: SpringerLink (Online service)
Weitere Personen: SpringerLink (Online service)
Format: E-Buch
Sprache: English
Veröffentlicht: Boston, MA Springer US 2009, 2009
Beschreibung: XV, 202 p. 200 illus online resource
Schlagworte: Mathematical Logic and Formal Languages
Computer science
Systems theory
Models and Principles
Control and Systems Theory
Systems Theory, Control
Online Zugang: Volltext
Volltext
Tags: Hinzufügen
Keine Tags. Fügen Sie den ersten Tag hinzu!

Online

Volltext
Falls Sie Probleme beim Volltextzugriff haben, prüfen Sie bitte auch den 'Find Text'-Button oder fragen Sie uns!

Ähnliche Einträge

Keine ähnlichen Titel gefunden

Privacy Notice Ask a Librarian New Acquisitions