| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paul Caspi |
What Can We Learn from Synchronous Data-Flow Languages?  |
HART  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-François Raskin, Pierre-Yves Schobbens |
State Clock Logic: A Decidable Real-Time Logic. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael S. Branicky |
On-Line, Reflexive Constraint Satisfaction for Hybrid Systems: First Steps. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris M. Miller |
Representation of Robust and Non-robust Solutions of Nonlinear Discrete-Continuous Systems. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | David Sinclair |
Using an Object-Oriented Methodology to Bring a Hybrid System from Initial Concept to Formal Definition. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Vineet Gupta 0001, Thomas A. Henzinger, Radha Jagadeesan |
Robust Timed Automata. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Luming Lai, Phil Watson |
A Case Study in Timed CSP: The Railroad Crossing Problem. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | John Lygeros, Claire J. Tomlin, Shankar Sastry 0001 |
Multiobjective Hybrid Controller Synthesis. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Shankar Sastry 0001 |
Hybrid Control Issues in Ais Traffic Management Systems (Abstract). |
HART |
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. |
HART |
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. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Pettersson, Bengt Lennartson |
Controller Design of Hybrid Systems. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Ruf, Thomas Kropf |
A New Algorithm for Discrete Timed Symbolic Model Checking. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Myla Archer, Constance L. Heitmeyer |
Verifying Hybrid Systems Modeled as Timed Automata: A Case Study. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Olaf Müller, Peter Scholz |
Functional Specification of Real-Time and Hybrid Systems. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Stauner, Olaf Müller, Max Fuchs |
Using HYTECH to Verify an Automative Control System. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | A. J. van der Schaft, Johannes M. Schumacher |
Hybrid Systems Described by the Complementary Formalism. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Kapur, R. K. Shyamasundar |
Synthesizing Controllers for Hybrid Systems. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Weise, Dirk Lenzkes |
Weak Refinement for Modal Hybrid Systems. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad Rusu |
Verifying Periodic Task-Control Systems. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolf Kohn, Jeffrey B. Remmel |
Hybrid Dynamic Programming. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Amir Pnueli |
Verifying Liveness Properties of Reactive Systems (Tutorial Abstract). |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Dolginova, Nancy A. Lynch |
Safety Verification for Automated Platoon Maneuvers: A Case Study. |
HART |
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. |
HART |
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. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Bornot, Joseph Sifakis |
Relating Time Progress and Deadlines in Hybrid Systems. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Toshimitsu Ushio |
Invariance Principle in Hybrid Systems Modeled by Mixed Mappings. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam L. Turk, Scott T. Probst, Gary J. Powers |
Verification of Real Time Chemical Processing Systems. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Pravin Varaiya |
SHIFT: A Language for Simulating Interconnected Hybrid Systems (Abstract of Invited Presentation). |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Boniol, Augusto Burgueño, Olivier F. Roux, Vlad Rusu |
Analysis of Slope-Parametric Hybrid Automata. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed S. Hajji, Julian M. Bass, Adrian Browne, Peter J. Fleming |
Design Tools for Hybrid Control Systems. |
HART |
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 |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Sandewall |
Relating High-Level and Low-Level Action Descriptions in a Logic of Actions and Change. |
HART |
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. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiwen Xu |
Semantics and Verifikation of Extended Phase Transition Systems in Duration Calculus. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Zvi Artstein |
The Lyapunov Method (Tutorial Abstract). |
HART |
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). |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Marie Flaus, Guy Ollagnon |
Hybrid Flow Nets for Hybrid Processes: Modelling and Control. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Henzinger, Orna Kupferman |
From Quantity to Quality. |
HART |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license