当前位置: X-MOL 学术Form. Asp. Comput. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
André Platzer: Logical foundations of cyber-physical systems
Formal Aspects of Computing ( IF 1.4 ) Pub Date : 2020-02-01 , DOI: 10.1007/s00165-020-00510-7
Alexander Knapp 1 , Markus Roggenbach 2
Affiliation  

At timeT 0, a mouse starts running from a certain position on the floor in a straight line towards a hole in the wall, which is at a distance X0 from the initial position. The mouse runs at a constant velocity Vm. After a delay of time units, a cat is released at the same initial position and chases the mouse at velocity Vc along the same path. Will the cat catch the mouse or will the mouse find sanctuary while the cat crashes against the wall? [MMP91]

中文翻译:

André Platzer:网络物理系统的逻辑基础

在时间T 0 时,鼠标开始从地板上的某个位置沿直线向墙壁上的一个洞跑,该洞与初始位置的距离为X0。鼠标以恒定速度 Vm 运行。经过一个时间单位的延迟,一只猫在相同的初始位置被释放,并以速度 Vc 沿着相同的路径追逐鼠标。当猫撞到墙上时,猫会抓住老鼠还是老鼠会找到庇护所?[MMP91]
更新日期:2020-02-01
down
wechat
bug