19 citations
- Centre National de la Recherche ScientifiqueFR1 paper
- Ericsson (Sweden)SE1 paper
- Istituto Nazionale di Fisica Nucleare, Sezione di Milano BicoccaIT1 paper
- Justus-Liebig-Universität GießenDE1 paper
- KTH Royal Institute of TechnologySE1 paper
- Mälardalen UniversitySE1 paper
- Umeå UniversitySE1 paper
- Université Joseph FourierFR1 paper
- University of GävleSE1 paper
- University of Milano-BicoccaIT1 paper
Showing 2024Show all
2 papers · 1 filter
cs.RO2024
Behavior Trees in Industrial Applications: A Case Study in Underground Explosive Charging
Mattias Hallen, Matteo Iovino, Shiva Sander-Tavallaey +1
In industrial applications Finite State Machines (FSMs) are often used to implement decision making policies for autonomous systems. In recent years, the use of Behavior Trees (BT)…
cs.SE2024★ 2 cited
Formal Verification of Consistency for Systems with Redundant Controllers
Bjarne Johansson, Bahman Pourvatan, Zahra Moezkarimi +2
A potential problem that may arise in the domain of distributed control systems is the existence of more than one primary controller in redundancy plans that may lead to inconsiste…