A Giotto-based helicopter control system

DOI10.1007/3-540-45828-X_5MaRDI QIDQ4439559zbMATH OpenFDO

Authors Christoph M. Kirsch, Marco A. A. Sanvido, Wolfgang Pree, Thomas A. Henzinger

Publication date 14 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2491/24910046.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• scientific article; zbMATH DE number 2080758
• Verification of Giotto based embedded control systems
• Time-safety checking for embedded programs
• Platform-based embedded software design for multi-vehicle multi-modal systems
• Designing an embedded hard real-time system: A case study

Cited in

(7)

• On the control of the hovercraft system
• Simulink timed models for program verification
• Platform-based embedded software design for multi-vehicle multi-modal systems
• Time-safety checking for embedded programs
• scientific article; zbMATH DE number 2080758 (Why is no real title available?)
• Verification of Giotto based embedded control systems
• From control law diagrams to Ada via \textsf{Circus}

Describes a project that uses

Uses Software

• Simulink

This page was built for publication: A Giotto-based helicopter control system

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