scholarly journals A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic

2014 ◽  
pp. 171-182 ◽  
Author(s):  
Manfred Droste ◽  
Vitaly Perevoshchikov
Keyword(s):  
Timed Automata ◽  
Relative Distance

Center of Mass Theorem and the Separation of Variables for Two-Body System on a Three-Dimensional Sphere

2020 ◽  
Vol 23 (3) ◽  
pp. 306-311
Author(s):  
Yu. Kurochkin ◽  
Dz. Shoukavy ◽  
I. Boyarina
Keyword(s):  
Constant Curvature ◽  
Jacobi Equation ◽  
Separation Of Variables ◽  
Center Of Mass ◽  
Three Dimensional ◽  
Relative Distance ◽  
Dimensional Sphere ◽  
Body System ◽  
Spaces Of Constant Curvature ◽  
Hamilton Jacobi Equation

The immobility of the center of mass in spaces of constant curvature is postulated based on its definition obtained in [1]. The system of two particles which interact through a potential depending only on the distance between particles on a three-dimensional sphere is considered. The Hamilton-Jacobi equation is formulated and its solutions and trajectory equations are found. It was established that the reduced mass of the system depends on the relative distance.

Relative Distance-Aware Data Delivery Scheme for Delay Tolerant Mobile Sensor Networks

2010 ◽  
Vol 21 (3) ◽  
pp. 490-504 ◽  
Author(s):  
Fu-Long XU ◽  
Ming LIU ◽  
Hai-Gang GONG ◽  
Gui-Hai CHEN ◽  
Jian-Ping LI ◽  
...  
Keyword(s):  
Sensor Networks ◽  
Mobile Sensor Networks ◽  
Relative Distance ◽  
Data Delivery ◽  
Mobile Sensor ◽  
Delay Tolerant

Modeling and Verifying Services of Internet of Things Based on Timed Automata

2011 ◽  
Vol 34 (8) ◽  
pp. 1365-1377 ◽  
Author(s):  
Li-Xing LI ◽  
Zhi JIN ◽  
Ge LI
Keyword(s):  
Internet Of Things ◽  
Timed Automata

Interval Distribution Power Flow with Relative-Distance-Measure Arithmetic

2021 ◽  
pp. 1-1
Author(s):  
Viet Cuong Ngo ◽  
Wenchuan Wu ◽  
Bing Wang ◽  
Yanling Du ◽  
Tuan Nguyen Ngoc
Keyword(s):  
Power Flow ◽  
Distance Measure ◽  
Relative Distance ◽  
Interval Distribution

scholarly journals Adaptive Cruise Control with Timed Automata

2020 ◽  
Vol 53 (2) ◽  
pp. 1918-1923
Author(s):  
Mustafa Yavuz Kara ◽  
Ebru Aydin Gol
Keyword(s):  
Adaptive Cruise Control ◽  
Timed Automata ◽  
Cruise Control
Sign in / Sign up

Export Citation Format

Share Document