From post

Representation of Discretely Controlled Continuous Systems in Software-Oriented Formal Analysis.

, , , и . ASIAN, том 1345 из Lecture Notes in Computer Science, стр. 110-120. Springer, (1997)

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.

 

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

A 3-D Self-Reconfigurable Structure., , , , и . ICRA, стр. 432-439. IEEE Computer Society, (1998)Development of Autonomous Wheelchair for Indoor and Outdoor Traveling., , , и . IoT360 (2), том 151 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 91-96. Springer, (2014)Experiment of Self-repairing Modular Machine., , , , и . DARS, стр. 119-128. Springer, (1998)Conservative Sleep/Wake-up Control for PCO-based Desynchronization in Wireless Communication., и . ICC, стр. 1-7. IEEE, (2020)Technology evaluations of personal mobility vehicles in Tsukuba-city mobility robot designated zone - An experimental approach for personal mobility for sharing., , , и . ICCVE, стр. 773-774. IEEE, (2014)The Relative Completeness of a Version of CTL*., , и . CATS, том 41 из CRPIT, стр. 81-85. Australian Computer Society, (2005)A motion planning method for a self-reconfigurable modular robot., , , , , и . IROS, стр. 590-597. IEEE, (2001)Hardware design of modular robotic system., , , , , и . IROS, стр. 2210-2217. IEEE, (2000)Multi-agent Simulator for Personal Mobility Vehicle Sharing., , и . IoT360 (2), том 151 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 163-168. Springer, (2014)Graph automata: natural expression of self-reproduction, , и . Physica D, 171 (4): 197--210 (2002)