Howard Wong-Toi

Jörg Preußig

Maria Domenica Di Benedetto

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

Maximal Safe Set Computation for Idle Speed Control of an Automotive Engine.

[BibT_eX]

[DOI]

Andrea Balluchi

Luca Benvenuti

Alberto L. Sangiovanni-Vincentelli

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

A procedure for reachability analysis of rectangular automata.

[BibT_eX]

[DOI]

Maria Domenica Di Benedetto

Jörg Preußig

Proceedings of the American Control Conference, 2000

Hybrid controller synthesis for idle speed management of an automotive engine.

[BibT_eX]

[DOI]

Andrea Balluchi

Luca Benvenuti

Tiziano Villa

Alberto L. Sangiovanni-Vincentelli

Proceedings of the American Control Conference, 2000

1999

A case study of hybrid controller synthesis of a heating system.

[BibT_eX]

[DOI]

Alberto L. Sangiovanni-Vincentelli

Proceedings of the 5th European Control Conference, 1999

1998

Algorithmic analysis of nonlinear hybrid systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1998

Schedulability Analysis of Acyclic Processes.

[BibT_eX]

[DOI]

Michael J. Meyer

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

An Algorithm for the Approximative Analysis of Rectangular Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1998

1997

HYTECH: A Model Checker for Hybrid Systems.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 1997

Analysis of Slope-Parametric Rectangular Automata.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems V, 1997

1995

A User Guide to HyTech.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

HyTech: The Next Generation.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

The Expressive Power of Clocks.

[BibT_eX]

[DOI]

Peter W. Kopke

Proceedings of the Automata, Languages and Programming, 22nd International Colloquium, 1995

Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Hybrid Systems III: Verification and Control, 1995

Using HyTech to Synthesize Control Parameters for a Steam Boiler.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Applications, 1995

Automated Analysis of an Audio Control Protocol.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 1995

Verification of Real-Time Systems by Successive Over and Under Approximation.

[BibT_eX]

[DOI]

David L. Dill

Proceedings of the Computer Aided Verification, 1995

1994

Symbolic approximations for verifying real-time systems.

[BibT_eX]

[DOI]

PhD thesis, 1994

1993

Supervisory control of a rapid thermal multiprocessor.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 1993

1992

The input-output control of real-time discrete event systems.

[BibT_eX]

[DOI]

G. Hoffmann

Proceedings of the Real-Time Systems Symposium, 1992

An implementation of three algorithms for timing verification based on automata emptiness.

[BibT_eX]

[DOI]

Proceedings of the Real-Time Systems Symposium, 1992

Minimization of Timed Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '92, 1992

1991

Checking for Language Inclusion Using Simulation Preorders.

[BibT_eX]

[DOI]

David L. Dill

Alan J. Hu

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

Synthesizing Processes and Schedulers from Temporal Specifications.

[BibT_eX]

[DOI]