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 $89.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

Ethics and Governance of Artificial Intelligence

Frameworks, Risks, and Society

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

Artificial Intelligence Programming with Python

From Zero to Hero

Algorithms in C, Parts 1-4

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

Code Dependent

Living in the Shadow of AI

Addiction by Design

Machine Gambling in Las Vegas

Introduction to Machine Learning with Python

A Guide for Data Scientists

Python for Algorithmic Trading

From Idea to Cloud Deployment

Data Science from Scratch

First Principles with Python

Learning Algorithms

A Programmer's Guide to Writing Better Code

Social Network Analytics

Empowering Data Engineering with Deep Learning and Large Language Models

Learning-Enabled Autonomous Systems

Control, Verification, and Monitoring

The Metaverse

Hype or Hoax?

Mathematical Foundations of Deep Learning

Theory and Algorithms

Mathematical Foundations of Deep Learning

Theory and Algorithms

Data-Driven Modeling & Scientific Computation

Methods for Complex Systems & Big Data

Knowledge Graph and Semantic Web Technology based XAI

Knowledge Graph and Semantic Web Technology based XAI

Quantum Artificial Intelligence

Technologies, Algorithms and Programming

Fundamentals of Data Structures and Algorithms

Fundamentals of Data Structures and Algorithms

Fundamentals of Quantum Computing

Solving Problems with Quantum Algorithms and Practical Qiskit Coding

Computational Modelling with Single Prompts

Series in Computational Physics

Reconceiving AI

The World as an Apple or a Blue Orange

This product is categorised by