Explore: Hybrides System
Discover books, insights, and more — all in one place.
Learn more about Hybrides System with top reads curated from trusted sources — all in one place.
AI-Generated Overview About “hybrides-system”:
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Qualitative theory of hybrid dynamical systems
By Alexy S. Matveev, Alexey S. Matveev and Andrey V. Savkin
“Qualitative theory of hybrid dynamical systems” Metadata:
- Title: ➤ Qualitative theory of hybrid dynamical systems
- Authors: Alexy S. MatveevAlexey S. MatveevAndrey V. Savkin
- Language: English
- Number of Pages: Median: 348
- Publisher: ➤ Birkhauser - Birkhäuser - Birkhauser Verlag
- Publish Date: 2000 - 2012
- Publish Location: Boston
“Qualitative theory of hybrid dynamical systems” Subjects and Themes:
- Subjects: ➤ Digital control systems - Electronic controllers - Analog electronic systems - Hybrides System - Systèmes analogiques - Commande numérique - Zeitdiskretes Regelungssystem - Régulateurs électriques - Dynamisches System - Applications of Computing - Applied mathematics - Automatic control engineering - Engineering - Mechanical - Control Engineering - Hybrid Computer Design - Technology - Technology & Industrial Arts - Science/Mathematics - Technology / Engineering / Electrical - Technology / Engineering / Mechanical - hybrid dynamical systems - systems and signals - Computer Engineering - Automatic control - Differentiable dynamical systems
Edition Identifiers:
- The Open Library ID: OL37438623M - OL8074673M - OL22222768M
- Online Computer Library Center (OCLC) ID: 42708021
- Library of Congress Control Number (LCCN): 99052603
- All ISBNs: 1461213649 - 9781461213642 - 0817641416 - 9780817641412
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Qualitative theory of hybrid dynamical systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
By Zhiming Liu
“Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings” Metadata:
- Title: ➤ Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings
- Author: Zhiming Liu
- Publisher: Springer
- Publish Date: 2009
“Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Software engineering - Computer software - Automatic theorem proving - Congresses - Formale Methode - Kongress - Verifikation - Model Checking - Softwareentwicklung - Hardwareentwurf - Systementwurf - Systemanalyse - Zeitbehafteter Automat - Eingebettetes System - Hybrides System
Edition Identifiers:
- The Open Library ID: OL26049517M
- Online Computer Library Center (OCLC) ID: 449849149
- Library of Congress Control Number (LCCN): 2009935680
- All ISBNs: 3642047602 - 9783642047602
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Automated Technology For Verification And Analysis 7th International Symposium Atva 2009 Macao China October 1416 2009 Proceedings at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Formal Modeling and Analysis of Timed Systems
By Joël Ouaknine
“Formal Modeling and Analysis of Timed Systems” Metadata:
- Title: ➤ Formal Modeling and Analysis of Timed Systems
- Author: Joël Ouaknine
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Formal Modeling and Analysis of Timed Systems” Subjects and Themes:
- Subjects: ➤ Logic design - Data processing - Computer science - Software engineering - Algebra - Information theory - Computer simulation - Congresses - Temporal automata - Formal methods (Computer science) - Machine theory - Hybrides System - Kongress - Echtzeitsystem - Formale Methode - Model Checking - Temporale Logik - Zeitbehafteter Automat - Zeitbewertetes Petri-Netz - Zeitdiskretes System - Robots
Edition Identifiers:
- The Open Library ID: OL25536219M
- Online Computer Library Center (OCLC) ID: 436030820
- Library of Congress Control Number (LCCN): 2009934015
- All ISBNs: 3642043682 - 9783642043680 - 9783642043673 - 3642043674
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Formal Modeling and Analysis of Timed Systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Fault tolerant control design for hybrid systems
By Hao Yang
“Fault tolerant control design for hybrid systems” Metadata:
- Title: ➤ Fault tolerant control design for hybrid systems
- Author: Hao Yang
- Language: English
- Number of Pages: Median: 190
- Publisher: Springer
- Publish Date: 2010
- Publish Location: Berlin
“Fault tolerant control design for hybrid systems” Subjects and Themes:
- Subjects: ➤ Control theory - Fehlertoleranz - Hybrides System - Fault tolerance (Engineering) - Reglerentwurf - Hybrid systems - System theory - Reliability (engineering) - Engineering
Edition Identifiers:
- The Open Library ID: OL25286783M
- Online Computer Library Center (OCLC) ID: 471802789
- Library of Congress Control Number (LCCN): 2009942891
- All ISBNs: 3642106811 - 9783642106804 - 3642106803 - 9783642106811
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Fault tolerant control design for hybrid systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Hybrid systems
By HSCC (Conference) (2009 San Francisco, Calif.)
“Hybrid systems” Metadata:
- Title: Hybrid systems
- Author: ➤ HSCC (Conference) (2009 San Francisco, Calif.)
- Language: English
- Number of Pages: Median: 492
- Publisher: Springer
- Publish Date: 2009
- Publish Location: New York - Berlin
“Hybrid systems” Subjects and Themes:
- Subjects: Hybrid computers - Hybridrechner - Congresses - Hybrides System - Kongress
- Places: 2009> San Francisco <Calif.
Edition Identifiers:
- The Open Library ID: OL25000754M
- Online Computer Library Center (OCLC) ID: 310400754
- Library of Congress Control Number (LCCN): 2009935276
- All ISBNs: 9783642006012 - 3642006019
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Hybrid systems at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.