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 $79.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 Delicate Art of Brute Force

How to Compute It When You Can't Solve It

Quantum-Inspired Neural Networks

Future Perspectives and Challenges

Multi-objective Optimization Techniques

Variants, Hybrids, Improvements, and Applications

Advancing VLSI through Machine Learning

Innovations and Research Perspectives

Data Visualization and Storytelling with Tableau

Innovations in Multimedia, Virtual Reality and Augmentation

Introduction to Statistical Computing and Visualization Using R

Smart Cities

Blockchain, AI, and Advanced Computing

Technologies for Personalised Healthcare

Enabling Patient-Centred Approaches in the Management and Prevention of Lifestyle-Related Conditions

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

Addiction by Design

Machine Gambling in Las Vegas

Algorithms in C, Parts 1-4

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

Introduction to Machine Learning with Python

A Guide for Data Scientists

Code Dependent

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

Learning Algorithms

A Programmer's Guide to Writing Better Code

Smart Devices for Medical 4.0 Technologies

Advances in Smart Healthcare Technologies

Python for Algorithmic Trading

From Idea to Cloud Deployment

How to Prove It

A Structured Approach

Learning-Enabled Autonomous Systems

Control, Verification, and Monitoring

Recursion

Mathematics and Python

Explainable Artificial Intelligence and Interpretable Machine Learning in Education

A Researcher's Guide to Data Science

Social Network Analytics

Empowering Data Engineering with Deep Learning and Large Language Models

Theory of Computation for Software Developers

Theory of Computation for Software Developers

Data-Driven Modeling & Scientific Computation

Methods for Complex Systems & Big Data

This product is categorised by