default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHybrid Systems 1996
- Panos J. Antsaklis, Wolf Kohn, Anil Nerode, Shankar Sastry:
Hybrid Systems IV, Proceedings of the Fourth International Workshop on Hybrid Systems, Ithaca, NY, USA, October 1996. Lecture Notes in Computer Science 1273, Springer 1997, ISBN 3-540-63358-8 - Alan B. Arehart, William A. Wolovich:
Bumpless Switching in Hybrid Systems. 1-17 - Michael S. Branicky
, Ekaterina Dolginova, Nancy A. Lynch:
A Toolbox for Proving and Maintaining Hybrid Specifications. 18-30 - Michael S. Branicky, Sven Erik Mattsson:
Simulation of Hybrid Systems. 31-56 - Vladimir Brayman, Juris Vagners:
Application of the Kohn-Nerode Control Law Extraction Procedure to the Inverted Pendulum Problem. 57-76 - Mireille E. Broucke, Pravin Varaiya:
Decidability of Hybrid Systems with Linear and Nonlinear Differential Inclusions. 77-92 - Darren D. Cofer:
Reliable Implementation of Hybrid Control Systems for Advanced Avionics. 93-112 - Akash Deshpande, Aleks Göllü, Pravin Varaiya:
SHIFT: A Formalism and a Programming Language for Dynamic Networks of Hybrid Automata. 113-133 - Michael Heymann, Feng Lin, George Meyer:
Synthesis of Minimally Restrictive Legal Controllers for a Class of Hybrid Systems. 134-159 - Julia F. Knight, Brian Luense:
Control Theory, Modal Logic and Games. 160-173 - Wolf Kohn, Anil Nerode, Jeffrey B. Remmel:
Agent Based Velocity Control of Highway Systems. 174-214 - John F. Kolen, Feng Zhao:
A Computatuional Analysis of the Reachability Problem for a Class of Hybrid Dynamical Systems. 215-227 - Mikhail Kourjanski, Pravin Varaiya:
A Class of Rectangular Hybrid Systems with Computable Reach Set. 228-234 - Michael D. Lemmon, Christopher J. Bett:
Safe Implementations of Supervisory Commands. 235-247 - Anil Nerode, Jeffrey B. Remmel, Alexander Yakhnis:
Hybrid System Games: Extraction of Control Automata with Small Topologies. 248-293 - Ümit Özgüner, Cem Hatipoglu, Altug Iftar, Keith A. Redmill:
Hybrid Control Design for a Three Vehicle Scenario Demonstration Using Overlapping Decompositions. 294-328 - George J. Pappas, Shankar Sastry:
Towards Continuous Abstractions of Dynamical and Control Systems. 329-341 - Jörg Raisch, Siu O'Young:
A Totally Ordered Set of Discrete Abstractions for a given Hybrid Continuous System. 342-360 - Olaf Stursberg, Stefan Kowalewski, Ingo Hoffmann, Jörg Preußig:
Comparing Timed and Hybrid Automata as Approximations of Continuous Systems. 361-377 - Claire J. Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, Shankar Sastry:
Hybrid Control Models of Next Generarion AIr Traffic Management. 378-404
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-27 01:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
