Abstract
To design a control unit for a mobile robot, the Finite State Machine describing the behavior of such a robot should be constructed. As a rule, it is difficult to construct an optimal FSM to represent a complex behavior of the mobile robot containing several subbehaviors. We present the formal method for synthesis a control for mobile robots, including the following procedures: representation of each subbehavior as an Algorithmic State Machine (ASM), combining several private ASMs into one aggregated ASM, constructing a finite state machine (FSM), implementing aggregated ASM, and synthesis of FSM's logic circuit.
| Original language | English |
|---|---|
| Pages | 80-86 |
| Number of pages | 7 |
| State | Published - 1997 |
| Externally published | Yes |
| Event | Proceedings of the 1997 2nd Euromicro Workshop on Advanced Mobile Robots, EUROBOT - Brescia, Italy Duration: 22 Oct 1997 → 24 Oct 1997 |
Conference
| Conference | Proceedings of the 1997 2nd Euromicro Workshop on Advanced Mobile Robots, EUROBOT |
|---|---|
| City | Brescia, Italy |
| Period | 22/10/97 → 24/10/97 |