A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems.

Richard J. Boulton Ruth Hardy Ursula Martin

Published in: HSCC (2003)

Keyphrases

control system
single input single output
dynamical systems
real time
closed loop
optimal control
control algorithm
fuzzy control