Application of partial-order methods for the verification of closed-loop SDL systems.

Xavier Dumas Philippe Dhaussy Frédéric Boniol Eric Bonnafous

Published in: SAC (2011)

Keyphrases

closed loop
partial order
control system
real time
rough sets
control law