HART 1997: Grenoble, France

Oded Maler (Ed.): Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings. Lecture Notes in Computer Science 1201 Springer 1997, ISBN 3-540-62600-X

@proceedings{DBLP:conf/hybrid/1997hart,
  editor    = {Oded Maler},
  title     = {Hybrid and Real-Time Systems, International Workshop. HART'97,
               Grenoble, France, March 26-28, 1997, Proceedings},
  booktitle = {HART},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1201},
  year      = {1997},
  isbn      = {3-540-62600-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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