A coordination model for agent behaviors using hierarchical finite state machine with inter-level concurrency
| Autor: | Wan Chul Yoon, Hyuk Tae Kwon, Rockwon Kim, Suyoung Chi |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
0209 industrial biotechnology
Robot kinematics Theoretical computer science Finite-state machine Computer science Concurrency Distributed computing 020206 networking & telecommunications 02 engineering and technology Operational semantics Data modeling Diagrammatic reasoning 020901 industrial engineering & automation 0202 electrical engineering electronic engineering information engineering Concurrent computing Robot |
| Zdroj: | ICTC |
| DOI: | 10.1109/ictc.2016.7763496 |
| Popis: | The hierarchical concurrent finite state machine (HCFSM) model natively supports concurrency, hierarchical decomposition, and event handling, which are essential for robot task executions. Moreover, HCFSM is a user-friendly diagrammatic representation model. The operational semantics of this model is defined under the two fundamental assumptions: synchrony hypothesis and zero-time assumption. This simple and theoretic assumption is suitable for time critical tasks rather than high-level behavior coordination including some operational latency time by detecting events and determining behaviors. In this paper, we propose an extended model of the hierarchical finite state machine (HFSM) using inter-level concurrency (IC), called HFSM-IC, which is focused on the intuitive description with easy-to-use constructs. IC replaces the concurrency in HCFSM assuming synchrony hypothesis and zero-time assumption with the multi-thread concept and enables each threaded HFSM to have its own iteration cycle as constant as resources are available. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|