Semi-automated synthesis of control system software through graph search

DOI10.1007/978-3-030-50936-1_91MaRDI QIDQ6204096OpenAlexFDO

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

zbMATH Keywords

control systemssoftware engineeringC++program synthesis

Mathematics Subject Classification ID

Systems theory; control (93-XX)

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

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)