Hybrid Systems IV

By: Panos Antsaklis (Editor), Wolf Kohn (Editor), Anil Nerode (Editor)

Write A Review

Paperback | 30 July 1997

At a Glance

Paperback
424 Pages

Dimensions(cm)
23.39 x 15.6 x 2.18

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

This book constitutes the thoroughly refereed post-conference documentation of the Fourth International Conference on Hybrid Systems held in Ithaca, NY, USA, in October 1996. The volume presents 19 carefully revised full papers selected from numerous submissions. Hybrid systems research focuses on modeling, design, and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to hybrid systems models, formal verification, computer simulation, goal reachability, algorithms for extracting hybrid control programs, and application models for avionics, highway traffic control, and air traffic control.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $0.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Hardware Computer Science Computer Architecture & Logic Design Systems Analysis & Design Engineering & Technology Electronics & Communications Engineering Electronics Engineering Automatic Control Engineering Robotics Artificial Intelligence

Expert Systems & Knowledge-Based Systems Computer Programming & Software Development Algorithms & Data Structures

Bumpless Switching in Hybrid Systems	p. 1
A Toolbox for Proving and Maintaining Hybrid Specifications	p. 18
Simulation of Hybrid Systems	p. 31
Application of the Kohn-Nerode Control Law Extraction Procedure to the Inverted Pendulum Problem	p. 57
Decidability of Hybrid Systems with Linear and Nonlinear Differential Inclusions	p. 77
Reliable implementation of Hybrid Control Systems for Advanced Avionics	p. 93
SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata	p. 113
Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems	p. 134
Control Theory, Modal Logic, and Games	p. 160
Agent Based Velocity Control of Highway Systems	p. 174
A Computational Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems	p. 215
A Class of Rectangular Hybrid Systems with Computable Reach Set	p. 228
Safe Implementations of Supervisory Commands	p. 235
Hybrid System Games: Extraction of Control Automata with Small Topologies	p. 248
Hybrid Control Design for a Three Vehicle Scenario Demonstration Using Overlapping Decompositions	p. 294
Towards Continuous Abstractions of Dynamical and Control Systems	p. 329
A Totally Ordered Set of Discrete Abstractions for a Given Hybrid or Continuous System	p. 342
Comparing Timed and Hybrid Automata as Approximations of Continuous Systems	p. 361
Hybrid Control Models of Next Generation Air Traffic Management	p. 378
Author Index	p. 405
Table of Contents provided by Blackwell. All Rights Reserved.

Hybrid Systems IV

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Systems Analysis & Design

Untangling AI

Driving Business Success Through Enterprise Automation and AI Agents

The Salesforce Business Analysis Playbook - Second Edition

Become a trusted Salesforce advisor through expert business analysis and applied AI skills

Risk-First Software Development, Second Edition

Deliver Better Systems in a Post-Agile, AI World

Site Reliability Engineering

How Google Runs Production Systems

Fundamentals of Software Architecture

A Modern Engineering Approach

Systems Analysis and Design

12th edition

Business Driven Information Systems ISE

9th Edition

Data-driven BIM for Energy Efficient Building Design

1st Edition

Algorithms in C, Parts 1-4

3rd Edition - Fundamentals, Data Structures, Sorting, Searching

Artificial Intelligence for HR

Use AI to Support and Develop a Successful Workforce

The Software Architect Elevator

Redefining the Architect's Role in the Digital Enterprise

Linux Pocket Guide

4th Edition - Essential Commands

Cloud Native Application Protection Platforms

A Guide to CNAPPs and the Foundations of Comprehensive Cloud Security

Tidy First?

A Personal Exercise in Empirical Software Design

Implementing Service Level Objectives

A Practical Guide to SLIs, SLOs, and Error Budgets

The Product-Minded Engineer

Building the Right Solutions for Your Users

Building Applications with AI Agents

Designing and Implementing Multi-Agent Systems

Learning Systems Thinking

Essential Non-Linear Skills and Practices for Software Professionals

Exploring Research Through Co-Design

Multiple Perspectives for Collaborative Inquiry

Rust Programming in easy steps

In Easy Steps

Cyber-Secure Load Frequency Control for Power Systems

The Bloomsbury Handbook of Service Design

Plural perspectives and a critical contemporary agenda

Learning UML 2.0

LEARNING

Head First Objects-Oriented Analysis and Design

The Best Introduction to Object Orientated Programming

This product is categorised by