HART 1997: Grenoble, France
Oded Maler (Ed.): Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble, France, March 26-28, 1997, Proceedings. Springer 1997 Lecture Notes in Computer Science ISBN 3-540-62600-X- 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
- Vlad Rusu: Verifying Periodic Task-Control Systems. 63-68
- 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
- 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
- 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
- Qiwen Xu: Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus. 301-315
- Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse: Data-Structures for the Verification of Timed Automata. 346-360
- Michael Heymann, Feng Lin, George Meyer: Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints. 376-390
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team