We argue using Interactive reasoning, or frequently called theorem proving, to analyze control systems of biomedical engineering applications ... to model these control systems in terms of their block ...

Control systems engineering offers a set of powerful ... students learn fundamental systems theory concepts, such as block diagrams, feedback loops and discrete-time dynamics.