Semi-automated synthesis of control system software through graph search

DOI10.1007/978-3-030-50936-1_91OpenAlexW3037929878MaRDI QIDQ6204096FDOQ6204096

Authors: Tomasz Gawron, Krzysztof Kozłowski 

Publication date: 9 April 2024

Published in: Advances in Intelligent Systems and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-50936-1_91

Recommendations

• Designing weakly terminating ROS systems
• Flexible computational pipelines for robust abstraction-based control synthesis
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification of the ROS NavFn planner using executable specification languages
• Task level specification and formal verification of robotics control systems: State of the art and case study

zbMATH Keywords

control systemssoftware engineeringC++program synthesis

Mathematics Subject Classification ID

Systems theory; control (93-XX)

This page was built for publication: Semi-automated synthesis of control system software through graph search

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6204096)