Hybrid Systems IV

ISBN-13: 9783540633587 / Angielski / Miękka / 1997 / 410 str.

Panos Antsaklis; Wolf Kohn; Anil Nerode

Opis

Hybrid systems research focuses on modelling, design and validation of interacting systems (plants) and computer programs (control automata). This volume is devoted to the following topics: 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.

Spis treści

Bumpless switching in hybrid systems.- A toolbox for proving and maintaining hybrid specifications.- Simulation of hybrid systems.- Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem.- Decidability of hybrid systems with linear and nonlinear differential inclusions.- Reliable implementation of hybrid control systems for advanced avionics.- SHIFT: A formalism and a programming language for dynamic networks of hybrid automata.- Synthesis of minimally restrictive legal controllers for a class of hybrid systems.- Control theory, modal logic, and games.- Agent based velocity control of highway systems.- A computational analysis of the reachability problem for a class of hybrid dynamical systems.- A class of rectangular hybrid systems with computable reach set.- Safe implementations of supervisory commands.- Hybrid system games: Extraction of control automata with small topologies.- Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions.- Towards continuous abstractions of dynamical and control systems.- A totally ordered set of discrete abstractions for a given hybrid or continuous system.- Comparing timed and hybrid automata as approximations of continuous systems.- Hybrid control models of next generation air traffic management.