Hybrid Systems 1996

@proceedings{DBLP:conf/hybrid/1996,
  editor    = {Panos J. Antsaklis and
               Wolf Kohn and
               Anil Nerode and
               Shankar Sastry},
  title     = {Hybrid Systems IV},
  booktitle = {Hybrid Systems},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1273},
  year      = {1997},
  isbn      = {3-540-63358-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Alan B. Arehart, William A. Wolovich: Bumpless Switching in Hybrid Systems. 1-17 BibTeX
• Michael S. Branicky, Ekaterina Dolginova, Nancy A. Lynch: A Toolbox for Proving and Maintaining Hybrid Specifications. 18-30 BibTeX
• Michael S. Branicky, Sven Erik Mattsson: Simulation of Hybrid Systems. 31-56 BibTeX
• Vladimir Brayman, Juris Vagners: Application of the Kohn-Nerode Control Law Extraction Procedure to the Inverted Pendulum Problem. 57-76 BibTeX
• Mireille E. Broucke, Pravin Varaiya: Decidability of Hybrid Systems with Linear and Nonlinear Differential Inclusions. 77-92 BibTeX
• Darren D. Cofer: Reliable Implementation of Hybrid Control Systems for Advanced Avionics. 93-112 BibTeX
• Akash Deshpande, Aleks Göllü, Pravin Varaiya: SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata. 113-133 BibTeX
• Michael Heymann, Feng Lin, George Meyer: Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems. 134-159 BibTeX
• Julia F. Knight, Brian Luense: Control Theory, Modal Logic and Games. 160-173 BibTeX
• Wolf Kohn, Anil Nerode, Jeffrey B. Remmel: Agent Based Velocity Control of Highway Systems. 174-214 BibTeX
• John F. Kolen, Feng Zhao: A Computatuional Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems. 215-227 BibTeX
• Mikhail Kourjanski, Pravin Varaiya: A Class of Rectangular Hybrid Systems with Computable Reach Set. 228-234 BibTeX
• Michael D. Lemmon, Christopher J. Bett: Safe Implementations of Supervisory Commands. 235-247 BibTeX
• Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis: Hybrid System Games: Extraction of Control Automata with Small Topologies. 248-293 BibTeX
• Ümit Özgüner, Cem Hatipoglu, Altug Iftar, Keith Redmill: Hybrid Control Design for a Three Vehicle Scenario Demonstration Using Overlapping Decompositions. 294-328 BibTeX
• George J. Pappas, Shankar Sastry: Towards Continuous Abstractions of Dynamical and Control Systems. 329-341 BibTeX
• Jörg Raisch, Siu O'Young: A Totally Ordered Set of Discrete Abstractions for a given Hybrid Continuous System. 342-360 BibTeX
• Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig: Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. 361-377 BibTeX
• Claire Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, Shankar Sastry: Hybrid Control Models of Next Generarion AIr Traffic Management. 378-404 BibTeX