( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The input-output control of real-time discrete event systems.

, и . RTSS, стр. 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.

Reetta Toivanen

Janne Toivola

Howard Nelson

Howard Foster

Howard Li

 

Другие публикации лиц с тем же именем

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