Author of the publication

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

, and . RTSS, page 256-265. IEEE Computer Society, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Multiple-signal duplicate detection for search evaluation., , , , , and . SIGIR, page 223-230. ACM, (2007)Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods., , , and . HSCC, volume 1790 of Lecture Notes in Computer Science, page 130-144. Springer, (2000)A procedure for reachability analysis of rectangular automata., and . ACC, page 1674-1678. IEEE, (2000)Analysis of Slope-Parametric Rectangular Automata.. Hybrid Systems, volume 1567 of Lecture Notes in Computer Science, page 390-413. Springer, (1997)Supervisory control of a rapid thermal multiprocessor., , , , and . IEEE Trans. Autom. Control., 38 (7): 1040-1059 (1993)Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems., and . Hybrid Systems, volume 1066 of Lecture Notes in Computer Science, page 377-388. Springer, (1995)HYTECH: A Model Checker for Hybrid Systems., , and . Int. J. Softw. Tools Technol. Transf., 1 (1-2): 110-122 (1997)Synthesizing Processes and Schedulers from Temporal Specifications., and . CAV (DIMACS/AMS volume), volume 3 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 177-186. DIMACS/AMS, (1990)Schedulability Analysis of Acyclic Processes., and . RTSS, page 274-284. IEEE Computer Society, (1998)Checking for Language Inclusion Using Simulation Preorders., , and . CAV, volume 575 of Lecture Notes in Computer Science, page 255-265. Springer, (1991)