Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/007711498/catalog> ?p ?o. }

• catalog abstract "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.".
• catalog alternative "Hybrid systems 4".
• catalog alternative "Hybrid systems four".
• catalog contributor b10661705.
• catalog contributor b10661706.
• catalog created "c1997.".
• catalog date "1997".
• catalog date "c1997.".
• catalog dateCopyrighted "c1997.".
• catalog description "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 [and others] -- 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 [and others] -- Hybrid control models of next generation air traffic management / C. Tomlin [and others].".
• catalog description "Includes bibliographical references and index.".
• catalog description "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.".
• catalog extent "x, 404 p. :".
• catalog hasFormat "Hybrid systems IV.".
• catalog identifier "3540633588 (softcover : alk. paper)".
• catalog isFormatOf "Hybrid systems IV.".
• catalog isPartOf "Lecture notes in computer science, 0302-9743 ; 1273".
• catalog issued "1997".
• catalog issued "c1997.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer,".
• catalog relation "Hybrid systems IV.".
• catalog subject "629.8/95 21".
• catalog subject "Computer science.".
• catalog subject "Computer software.".
• catalog subject "Hybrid computers Congresses.".
• catalog subject "Logic design.".
• catalog subject "QA76.38 .H95 1997".
• catalog subject "Software engineering.".
• catalog tableOfContents "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 [and others] -- 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 [and others] -- Hybrid control models of next generation air traffic management / C. Tomlin [and others].".
• catalog title "Hybrid systems 4".
• catalog title "Hybrid systems IV / Panos Antsaklis ... [et al.], eds.".
• catalog title "Hybrid systems four".
• catalog type "Conference proceedings. fast".
• catalog type "text".