default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHART 1997: Grenoble, France
- Oded Maler:
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 - 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 F. 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 - Mohamed 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 J. 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, Johannes 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
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 2024-12-27 21:34 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:
