Lecture Notes in Computer Science

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.

Lecture Notes in Computer Science

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Algorithms & Data Structures

The Man Who Solved the Market

How Jim Simons Launched the Quant Revolution SHORTLISTED FOR THE FT & MCKINSEY BUSINESS BOOK OF THE YEAR AWARD 2019

Algorithms in C, Parts 1-4

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

Introduction to Machine Learning with Python

A Guide for Data Scientists

Python for Algorithmic Trading

From Idea to Cloud Deployment

Learning Algorithms

A Programmer's Guide to Writing Better Code

Code Dependent

Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction

Addiction by Design â" Machine Gambling in Las Vegas

Machine Gambling in Las Vegas

The Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Understanding the Ethics of Generative AI

A Developer's Guide

Code Dependent

Living in the Shadow of AI

Quantum Machine Learning

Theory, Algorithms, and Practical Implementation

The Algorithmic Society

Technology, Power, and Knowledge

Quantum Searching and Optimization Algorithms

A Comprehensive Guide

Python Using GPT-5 and Gemini

Finite Element Mesh Generation, 2e

Fundamentals of Data Structures and Algorithms

Fundamentals of Data Structures and Algorithms

Hacker's Delight

Artificial Intelligence Programming with Python

From Zero to Hero

Considerations on the AI Endgame

Ethics, Risks and Computational Frameworks

Quick Data Structures

Quick Programming

Decentralized Futures

Navigating the Integration of Blockchain Technology with Artificial Intelligence

Artificial Intelligence for Art Creation and Understanding

Multimedia Computing, Communication and Intelligence

Frontiers in Data Engineering and Retrieval Systems

International Conference on Data Management and Information Retrieval (Polkowice, Poland, November 2025)

This product is categorised by