Scalable methods of discrete plant model generation for closed-loop model checking.

Igor Buzhinsky Antti Pakonen Valeriy Vyatkin

Published in: IECON (2017)

Keyphrases

model checking
closed loop
control system
temporal logic
control scheme
feedback control
open loop
parameter identification
multi agent
pid controller
control law
automated verification