Abstract is missing.
- Verifying Liveness Properties of Reactive Systems (Tutorial Abstract)Amir Pnueli. 1
- The Lyapunov Method (Tutorial Abstract)Zvi Artstein. 2
- Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and ChangeErik Sandewall. 3-17
- A New Algorithm for Discrete Timed Symbolic Model CheckingJürgen Ruf, Thomas Kropf. 18-32
- State Clock Logic: A Decidable Real-Time LogicJean-François Raskin, Pierre Yves Schobbens. 33-47
- From Quantity to QualityThomas A. Henzinger, Orna Kupferman. 48-62
- Verifying Periodic Task-Control SystemsVlad Rusu. 63-68
- A Case Study in Timed CSP: The Railroad Crossing ProblemLuming Lai, Phil Watson. 69-74
- Analysis of Slope-Parametric Hybrid AutomataFrédéric Boniol, Augusto Burgueño, Olivier Roux, Vlad Rusu. 75-80
- Comparing Timed C/E Systems with Timed Automata (Abstract)Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig. 81-86
- Design Tools for Hybrid Control SystemsM. S. Hajji, Julian M. Bass, Adrian Browne, Peter J. Fleming. 87-92
- On-Line, Reflexive Constraint Satisfaction for Hybrid Systems: First StepsMichael S. Branicky. 93-107
- Hybrid Control Issues in Ais Traffic Management Systems (Abstract)Shankar Sastry. 108
- Multiobjective Hybrid Controller SynthesisJohn Lygeros, Claire Tomlin, Shankar Sastry. 109-123
- Modelling a Time-Dependent Protocol Using the Circal Process AlgebraAntonio Cerone, Alex J. Cowie, George J. Milne, Philip A. Moseley. 124-138
- Using HYTECH to Verify an Automative Control SystemThomas Stauner, Olaf Müller, Max Fuchs. 139-153
- Safety Verification for Automated Platoon Maneuvers: A Case StudyEkaterina Dolginova, Nancy A. Lynch. 154-170
- Verifying Hybrid Systems Modeled as Timed Automata: A Case StudyMyla Archer, Constance L. Heitmeyer. 171-185
- Using an Object-Oriented Methodology to Bring a Hybrid System from Initial Concept to Formal DefinitionDavid Sinclair. 186-198
- A Digital Real-Time Simulator for Rail-Vehicle Control System TestingPeter Terwiesch, Erich Scheiben, Anders Jenry Petersen, Thomas Keller 0003. 199-212
- Hybrid Flow Nets for Hybrid Processes: Modelling and ControlJean-Marie Flaus, Guy Ollagnon. 213-227
- Representation of Robust and Non-robust Solutions of Nonlinear Discrete-Continuous SystemsBoris M. Miller. 228-239
- Controller Design of Hybrid SystemsStefan Pettersson, Bengt Lennartson. 240-254
- What Can We Learn from Synchronous Data-Flow Languages?Paul Caspi. 255-258
- Verification of Real Time Chemical Processing SystemsAdam L. Turk, Scott T. Probst, Gary J. Powers. 259-272
- Functional Specification of Real-Time and Hybrid SystemsOlaf Müller, Peter Scholz. 273-285
- Relating Time Progress and Deadlines in Hybrid SystemsSébastien Bornot, Joseph Sifakis. 286-300
- Semantics and Verifikation of Extended Phase Transition Systems in Duration CalculusQiwen Xu. 301-315
- Weak Refinement for Modal Hybrid SystemsCarsten Weise, Dirk Lenzkes. 316-330
- Robust Timed AutomataVineet Gupta, Thomas A. Henzinger, Radha Jagadeesan. 331-345
- Data-Structures for the Verification of Timed AutomataEugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse. 346-360
- Synthesizing Controllers for Hybrid SystemsDeepak Kapur, R. K. Shyamasundar. 361-375
- Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety ConstraintsMichael Heymann, Feng Lin, George Meyer. 376-390
- Hybrid Dynamic ProgrammingWolf Kohn, Jeffrey B. Remmel. 391-396
- Invariance Principle in Hybrid Systems Modeled by Mixed MappingsToshimitsu Ushio. 397-402
- Hybrid Systems Described by the Complementary FormalismA. J. van der Schaft, J. M. Schumacher. 403-408
- Generalized Linear Complementary Problems and the Analysis of Continuously Variable Systems and Discrete Event SystemsBart De Schutter, Bart De Moor. 409-414
- SHIFT: A Language for Simulating Interconnected Hybrid Systems (Abstract of Invited Presentation)Pravin Varaiya. 415