An Instrumentation-Based Approach to Controller Validation

DOI10.1007/978-1-4020-6254-4_12zbMath1189.93099OpenAlexW4233991657MaRDI QIDQ3564027

Rance Cleaveland

Publication date: 2 June 2010

Published in: Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-6254-4_12

zbMATH Keywords

functional requirementsmodels of controllersobserver models

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Time-scale analysis and singular perturbations in control/observation systems (93C70)

Uses Software

• Simulink
• StateFlow

This page was built for publication: An Instrumentation-Based Approach to Controller Validation