Safety verification of implicitly defined MPC feedback laws.

Juraj Holaza Bálint Takács Michal Kvasnica Stefano Di Cairano

Published in: ECC (2015)

Keyphrases

user feedback
safety analysis
model checking
closed loop
formal analysis
person identification
databases
dynamic model
asynchronous circuits
real time
real world
relevance feedback
face verification
nuclear power plant
concurrent systems