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

Laboratory Guide to the Methods in Biochemical Genetics

$139.00

Reaction-Transport Systems

$109.99

Tsunamis in the World Ocean

$54.99

War and Data on Armed Conflicts

$139.99

Psychoanalyse und Verbrechen

$64.99

Beware the Claw!

$7.49

ISDN - The Integrated Services Digital Network

$74.99

Kolmogorov's Heritage in Mathematics

$109.99

Mobilfunknetze und ihre Protokolle 1

$49.99

Asthma

$84.99

Fundamentals of Aircraft and Rocket Propulsion

$129.99

Hegels Epistemological Realism

$169.99

Impact of Network Ethics on Business Practices

$109.99

Carotinoide

$59.99

Virtual Environments 98

$54.99

Refugees in Canada

$54.99

Protist Diversity and Geographical Distribution

$189.00

Physics of Atoms and Ions

$39.99

Integrierte Erstellung numerischer Steuerdaten fr flexible Fertigungssysteme

$59.99

Trust within Organizations of the New Economy

$54.99

Scientific Computing in Electrical Engineering

$84.99

Dynamical Systems V

$109.99

Sampling Theory for Forest Inventory

$159.99

Stem Cells and Prostate Cancer

$169.99

Aus Leben und Dichtung eines westafrikanischen Bauernvolkes

$59.99

Study Guide for Economic Growth and Development

$59.99

Statistical Disclosure Control for Microdata

$89.99

Rehabilitation, Crime and Justice

$109.99

Fault-Tolerant Parallel and Distributed Systems

$169.99

Architektur und Betrieb von Rechensystemen

$69.99

Radio Frequency Identification (RFID) in der Automobilindustrie

$59.99

Current Trends in Communication and Information Technologies

$169.99

Migration und Familie

$64.99

Group Therapy with Children

$79.99

School Effectiveness and Educational Management

$54.99

Estuaries: A Lifeline of Ecosystem Services in the Western Indian Ocean

$109.99

Generalized Analytic Functions on Riemann Surfaces

$29.99

Environment and Development: An Economic Approach

$109.99

Silverlight 2 Recipes

$44.99

Advances in Data Science: Methodologies and Applications

$149.00