Formal Verification of Behaviour Networks Including Hardware Failures

Kiekbusch, Lisa; Armbrust, Christopher; Berns, Karsten

doi:10.1007/978-3-319-08338-4_113

Cited by 6 publications

(3 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Niemniej jednak praca [83] wskazuje, że dla większości stworzonych systemów trudno określić zarówno ich strukturę jak i styl (funkcje). Pomimo prowadzenia prac dotyczących formalnej specyfikacji oprogramowania sterującego robotami [7,94,95,157,165] i jego formalnej weryfikacji [81,82] niestety takie ścisłe podejście do procesu wytwarzania sterownika nie uzyskało szerszej akceptacji środowiska robotyków. Zazwyczaj architektury przedstawiane są za pomocą nieformalnych opisów tekstowych oraz diagramów blokowych o bardzo zróżnicowanym poziomie szczegółowości, przy zastosowaniu różnych środków graficznych.…”

Section: Architektury Systemów Robotycznychunclassified

Robotics: Techniques, Functions, Social Role Part 1. Technical Foundations of Intelligence and Security of Robots

Zieliński¹

2022

PAR

View full text Add to dashboard Cite

In order to assess the impact of robots on society, it is necessary to carefully analyze the state-of-the-art, and in particular the fundamental issues that have yet to be resolved, however having significant impact on the potential societal changes resulting from the development of robotics. The aforementioned impact depends on the level of intelligence of robots, so this aspect dominates in the presented analysis. The presentation has been divided into three parts: 1) analysis of technical factors affecting the intelligence and security of robots, 2) analysis of current capabilities of robots, 3) analysis of diverse predictions of how robotics will evolve, and thus the attitudes towards the influence of the result of this development on society. This part of the paper is devoted to the first of the above mentioned three issues.

show abstract

Section: Architektury Systemów Robotycznychunclassified

Robotics: Techniques, Functions, Social Role Part 1. Technical Foundations of Intelligence and Security of Robots

Zieliński¹

2022

PAR

View full text Add to dashboard Cite

show abstract

“…[6,62,63,91,93] and its formal verification, e.g. [49,50], unfortunately this has not gained widespread adoption [56]. Usually, architectures are presented by informal text descriptions supplemented by block diagrams, with varying level of details.…”

Section: Universality Of the Embodied Agentmentioning

confidence: 99%

Communication Within Multi-FSM Based Robotic Systems

Zieliński

Figat

Hexel

2018

J Intell Robot Syst

View full text Add to dashboard Cite

The paper presents a robotic system design methodology based on the concept of an embodied agent decomposed into communicating subsystems, whose activities are specified in terms of FSMs invoking behaviours parameterised by transition functions and terminal conditions. In the implementation phase, this specification is transformed into a system composed of a whiteboard providing communication means and logically labelled FSMs (LLFSMs) defining the system behaviour. These concepts are used to generate the code of the robot controller. The inclusion of inter-subsystem communication model completes the resulting system design with respect to our previous work that did not account for this model. Thus communication plays a central role in this presentation. The design methodology is exemplified with a rudimentary table tennis ball-collecting robot. The presented methodology and the implementation tools are suitable and beneficial for application to the design of other robotic systems.

show abstract

“…[11,12,13,14,15], and its formal verification verification, e.g. [16,17], unfortunately it has not gained widespread acceptance. Thus, some form of general classification of robot control system structures (architectures) has to be produced to be able to compare diverse approaches to controller design.…”

Section: Robot Control Architecturesmentioning

confidence: 99%

Variable structure robot control systems: The RAPP approach

Zieliński

Stefańczyk

Kornuta

et al. 2017

Robotics and Autonomous Systems

View full text Add to dashboard Cite

This paper presents a method of designing variable structure control systems for robots. As the on-board robot computational resources are limited, but in some cases the demands imposed on the robot by the user are virtually limitless, the solution is to produce a variable structure system. The task dependent part has to be exchanged, however the task governs the activities of the robot. Thus not only exchange of some task-dependent modules is required, but also supervisory responsibilities have to be switched. Such control systems are necessary in the case of robot companions, where the owner of the robot may demand from it to

show abstract

Formal Verification of Behaviour Networks Including Hardware Failures

Cited by 6 publications

References 6 publications

Robotics: Techniques, Functions, Social Role Part 1. Technical Foundations of Intelligence and Security of Robots

Robotics: Techniques, Functions, Social Role Part 1. Technical Foundations of Intelligence and Security of Robots

Communication Within Multi-FSM Based Robotic Systems

Variable structure robot control systems: The RAPP approach

Contact Info

Product

Resources

About