Search Results - "Theory of computation: Models of computation: Timed and hybrid models"

A Reference Architecture of Human Cyber-Physical Systems – Part III: Semantic Foundations

Authors: Werner Damm Martin Fränzle Alyssa J. Kerscher et al.

Source: ACM Transactions on Cyber-Physical Systems, 8 (1), 1–23

Subject Terms: ddc:004, 0209 industrial biotechnology, Theory of computation: Models of computation: Interactive computation, DATA processing & computer science, 05 social sciences, Theory of computation: Models of computation: Timed and hybrid models, 0501 psychology and cognitive sciences, 02 engineering and technology, concepts and paradigms, Human-centered computing: Interaction design: Interaction design theory, CCS CONCEPTS

File Description: application/pdf

Access URL: https://elib.dlr.de/197988/
https://doi.org/10.1145/3622881
https://publikationen.bibliothek.kit.edu/1000169195
https://doi.org/10.5445/IR/1000169195
https://publikationen.bibliothek.kit.edu/1000169195/152438607

Proving properties of autonomous car manoeuvres in urban traffic.

Authors: Schwammberger, Maike

Source: IT: Information Technology; 2021, Vol. 63 Issue 5/6, p253-263, 11p

Subject Terms: CITY traffic, DRIVERLESS cars, EMERGENCY vehicles, COMPUTER logic

A sampling-based approach for handling delays in continuous and hybrid systems.

Authors: Berani Abdelwahab, Erzana Fränzle, Martin

Source: IT: Information Technology; 2021, Vol. 63 Issue 5/6, p289-298, 10p

Subject Terms: HYBRID systems, INTERNAL combustion engine exhaust gas, DELAY differential equations

AVOIDING SHARED CLOCKS IN NETWORKS OF TIMED AUTOMATA.

Authors: BALAGUER, SANDIE CHATAIN, THOMAS

Source: Logical Methods in Computer Science (LMCS); 2013, Vol. 9 Issue 4, p1-26, 26p

Subject Terms: COMPUTER networks, MACHINE theory, DISTRIBUTED computing, REAL-time computing, ROBOTS, INFORMATION sharing