+612 9045 4394
 
CHECKOUT
Hybrid Systems IV : Digital Signal Processing - Panos J. Antsaklis

Hybrid Systems IV

Digital Signal Processing

By: Panos J. Antsaklis (Editor), Wolf Kohn (Editor), Anil Nerode (Editor), Shankar Sastry (Editor)

Paperback Published: 30th July 1997
ISBN: 9783540633587
Number Of Pages: 410

Share This Book:

Paperback

$135.51
or 4 easy payments of $33.88 with Learn more
Ships in 5 to 9 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.

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

ISBN: 9783540633587
ISBN-10: 3540633588
Series: Digital Signal Processing
Audience: General
Format: Paperback
Language: English
Number Of Pages: 410
Published: 30th July 1997
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.18
Weight (kg): 0.59