Guess What I’m Doing!
| Autor: | Paul Kröger, Martin Fränzle |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
050101 languages & linguistics
Theoretical computer science Computer science Behavioural analysis 05 social sciences 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing 0501 psychology and cognitive sciences 02 engineering and technology Rigour Automaton |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783030614669 ISoLA (3) |
| DOI: | 10.1007/978-3-030-61467-6_17 |
| Popis: | Emerging smart technologies add elements of intelligence, cooperation, and adaptivity to physical entities, enabling them to interact with each other and with humans as systems of (human-)cyber-physical systems or (H)CPSes. Hybrid automata, in their various flavours, have been suggested as a formal model accurately capturing CPS dynamics and thus facilitating exhaustive behavioural analysis of interacting CPSes with mathematical rigour. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|