Zobrazeno 1 - 10
of 32 595
pro vyhledávání: '"sequential processes"'
We present a tool called HHLPar for verifying hybrid systems modelled in Hybrid Communicating Sequential Processes (HCSP). HHLPar is built upon a Hybrid Hoare Logic for HCSP, which is able to reason about continuous-time properties of differential eq
Externí odkaz:
http://arxiv.org/abs/2407.08936
Hybrid Communicating Sequential Processes (HCSP) is a formal model for hybrid systems, including primitives for evolution along an ordinary differential equation (ODE), communication, and parallel composition. Code generation is needed to convert HCS
Externí odkaz:
http://arxiv.org/abs/2402.15674
Autor:
Bosse, Stefan
Virtualization is the abstraction of details. Algorithms and programming languages provide abstraction, too. Virtualization of hardware and embedded systems is becoming more and more important in heterogeneous environments and networks, e.g., distrib
Externí odkaz:
http://arxiv.org/abs/2302.02959
Autor:
Abo El-Khair, Muhammad A. a, Hanafi, Samia A. a, Abd El-Moghny, Muhammad G. b, ⁎, El Saied, Mohamed a, ⁎, Elmelawy, Mamdouh S. a, El-Deab, Mohamed S. b, ⁎
Publikováno v:
In Chemical Engineering Journal 15 June 2024 490
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Schiewe, Philine, Schöbel, Anita
Planning in public transportation is traditionally done in a sequential process: After the network design process, the lines and their frequencies are planned. When these are fixed, a timetable is determined and based on the timetable, the vehicle an
Externí odkaz:
http://arxiv.org/abs/2109.10158
Publikováno v:
In Control Engineering Practice October 2022 127
Autor:
Schiewe, Philine a, ⁎, Schöbel, Anita b, c
Publikováno v:
In EURO Journal on Transportation and Logistics 2022 11
Publikováno v:
In Journal of Cleaner Production 10 December 2020 276