↓ Skip to main content
Altmetric
What is this page?
Embed badge
Share
Share on Twitter
Share on Facebook
Share by email
Verification and Control of Hybrid Systems : A Symbolic Approach
Overview of attention for book
Table of Contents
Altmetric Badge
Book Overview
Altmetric Badge
Chapter 1
Systems
Altmetric Badge
Chapter 2
Verifcation problems
Altmetric Badge
Chapter 3
Control problems
Altmetric Badge
Chapter 4
Exact system relationships
Altmetric Badge
Chapter 5
Verification
Altmetric Badge
Chapter 6
Control
Altmetric Badge
Chapter 7
Exact symbolic models for verification
Altmetric Badge
Chapter 8
Exact symbolic models for control
Altmetric Badge
Chapter 9
Approximate system relationships
Altmetric Badge
Chapter 10
Approximate symbolic models for verification
Altmetric Badge
Chapter 11
Approximate symbolic models for control
Overall attention for this book and its chapters
Altmetric Badge
Mentioned by
syllabi
1
institution with syllabi
Citations
dimensions_citation
629
Dimensions
Readers on
mendeley
87
Mendeley
Book overview
1. Systems
2. Verifcation problems
3. Control problems
4. Exact system relationships
5. Verification
6. Control
7. Exact symbolic models for verification
8. Exact symbolic models for control
9. Approximate system relationships
10. Approximate symbolic models for verification
11. Approximate symbolic models for control
Summary
Syllabi
Dimensions citations
This data is correct as of December 2015 - for more up to date information, please visit
https://opensyllabus.org/
So far, Altmetric has seen this research output assigned in
1
syllabus from an institution on Open Syllabus Project.
Institution
Syllabi count
Course subject areas covered
Arizona State University
1
Computer Science