HART 1997: Grenoble, France

• 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
  

Last update Wed May 22 04:48:43 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page