From post

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.

 

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

Inner Source Identification for Field Estimation in Wireless Sensor Networks., , и . ICASSP (4), стр. 853-856. IEEE, (2006)Petri Net Tools for the Specification and Analysis of Discrete Controllers., и . IEEE Trans. Software Eng., 16 (1): 39-50 (1990)A moving horizon state estimator in the control of thermostatically controlled loads for demand response., , , , , и . SmartGridComm, стр. 253-258. IEEE, (2013)Software Rejuvenation for Secure Tracking Control., , , и . CoRR, (2018)Formal verification of phase-locked loops using reachability analysis and continuization., , , , , и . Commun. ACM, 56 (10): 97-104 (2013)Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations., и . HSCC, том 1569 из Lecture Notes in Computer Science, стр. 76-90. Springer, (1999)Verification of Supervisory Control Software Using State Proximity and Merging., , , и . HSCC, том 4981 из Lecture Notes in Computer Science, стр. 344-357. Springer, (2008)Context-Dependent Agents for Real-Time Scheduling in Manufacturing Systems., , и . IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 85-A (11): 2407-2413 (2002)Energy-Efficient Surveillance System Using Wireless Sensor Networks., , , , , , , , , и . MobiSys, ACM / USENIX, (2004)Dynamic steering control of conventionally-steered mobile robots., и . ICRA, стр. 390-395. IEEE, (1990)