Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Logical Analysis of Hybrid Systems

Logical Analysis of Hybrid Systems

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642145094
Condition
New
Product Description

Hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Many applications are safety-critical, including car, railway, and air traffic control, robotics, physicalchemical process control, and biomedical devices. Hybrid systems analysis studies how we can build computerized controllers for physical systems which are guaranteed to meet their design goals. The author gives a unique, logic-based perspective on hybrid systems analysis. It is the first book that leverages the power of logic for hybrid systems. The author develops a coherent logical approach for systematic hybrid systems analysis, covering its theory, practice, and applications. It is further shown how the developed verification techniques can be used to study air traffic and railway control systems. This book is intended for researchers, postgraduates, and professionals who are interested in hybrid systems analysis, cyberphysical or embedded systems design, logic and theorem proving, or transportation and automation.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

International Handbook of Chinese Families

$169.99

Water Cycle Management

$54.99

Hauntings: Psychoanalysis and Ghostly Transmissions

$95.00

Business Intelligence

$54.99

Reading Between the Lines of Corporate Financial Reports

$119.99

Document Analysis Systems

$79.99

Certification and Security in E-Services

$84.99

Medical Computer Vision. Data in Medical Imaging

$54.99

Inflammatory Dermatopathology

$84.99

Modelling Dynamics in Processes and Systems

$84.99

Kritik des Neoliberalismus

$29.99

Configurations from a Graphical Viewpoint

$54.99

Multiscale Mechanobiology in Tissue Engineering

$109.99

Biochemistry of the Elemental Halogens and Inorganic Halides

$39.99

100 Task Cards in a Box: Informational Text

$23.99

A Financial Crisis Manual

$109.99

Plant Tissue Culture Manual - Supplement 7

$59.95

Festschrift Dr. Otto L. Heubner, Geheimem Medizinalrat, Professor und Direktor der Universittskinde

$49.99

Antibiotikatherapie im Kindesalter

$69.99

Italo-Romance Dialects in the Linguistic Repertoires of Immigrants in Italy

$169.99

Protein Pharmacokinetics and Metabolism

$169.99

Mathe lernen 2 nach dem IntraActPlus-Konzept (Set: Hefte 13)

$24.99

Machine Learning for Networking

$109.99

France, Social Capital and Political Activism

$39.99

Bericht ber die Ausstellung schsischer Gewerb-Erzeugnisse in Dresden im Jahre 1845

$44.99

The Groundnut Crop

$329.99

Enhancing Cognitive Assistance Systems with Inertial Measurement Units

$109.99

Image Analysis

$89.99

Listening and Knowledge in Reformation Europe

$99.99

Sustainable Development in Southern Europe

$54.99

Islamic Economics as Mesoscience

$84.99

Modern Irish Autobiography

$54.99

Single Molecules and Nanotechnology

$219.99

The Air Spora

$249.99

Please, Mr. Panda

$5.24

Sustainable Urban Transitions

$159.99

Indium

$109.99

Cuticle Techniques in Arthropods

$84.99

Die Situation(en) der Promotionsbetreuung

$59.99

Drita, My Homegirl

$5.96