Hybrid systems IV / Panos Antsaklis [and others], (eds).

Other author Antsaklis, Panos J.
Other author International Conference on Hybrid Systems 1996 : Ithaca, N. Y.)
Format Book
Publication InfoBerlin ; New York : Springer, ©1997.
Descriptionx, 404 pages : illustrations ; 24 cm.
Subjects
Hybrid computers--Congresses.

Variant title Hybrid systems 4
Variant title Hybrid systems four
SeriesLecture notes in computer science ; 1273
Lecture notes in computer science 1273. ^A466336
Contents Bumpless switching in hybrid systems / A.B. Arehart and W.A. Wolovich -- A toolbox for proving and maintaining hybrid specifications / M.S. Branicky, E. Dolginova, and N. Lynch -- Simulation of hybrid systems / M.S. Branicky and S.E. Mattsson -- Application of the Kohn-Nerode control law extraction procedure to the inverted pendulum problem / V. Brayman and J. Vagners -- Decidability of hybrid systems with linear and nonlinear differential inclusions / M. Broucke and P. Varaiya -- Reliable implementation of hybrid control systems for advanced avionics / D.D. Cofer -- SHIFT : a formalism and a programming language for dynamic networks of hybrid automata / A. Deshpande, A. Göllü and P. Varaiya -- Synthesis of minimally restrictive legal controllers for a class of hybrid systems / M. Heymann, F. Lin and G. Meyer -- Control theory, modal logic, and games / J.F. Knight and B. Luense -- Agent based velocity control of highway systems / W. Kohn, A. Nerode and J.B. Remmel -- A computational analysis of the reachability problem for a class of hybrid dynamical systems / J.F. Kolen and F. Zhao -- A class of rectangular hybrid systems with computable reach set / M. Kourjanski and P. Varaiya -- Safe implementations of supervisory commands / M. Lemmon and C.J. Bett -- Hybrid system games : extraction of control automata with small topologies / A. Nerode, J.B. Remmel and A. Yakhnis -- Hybrid control design for a three vehicle scenario demonstration using overlapping decompositions / O. Özgüner ... [et al.] -- Towards continuous abstractions of dynamical and control systems / G.J. Pappas and S. Sastry -- A totally ordered set of discrete abstractions for a given hybrid or continuous system / J. Raisch and S. O'Young -- Comparing timed and hybrid automata as approximations of continuous systems / O. Stursberg ... [et al.] -- Hybrid control models of next generation air traffic management / C. Tomlin ... [et al.].
General notePapers related to the Fourth International Conference on Hybrid Systems, held in Ithaca, N.Y, October 12-14, 1996.
Bibliography noteIncludes bibliographical references and index.
LCCN 97027813
ISBN3540633588 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Joyner General Stacks QA76.38 .H95 1997 ✔ Available Place Hold