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