Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
Su, Rong, van Schuppen, Jan H., Rooda, Jacobus E., Hofkamp, Albert T.
Published in Automatica (Oxford) (01.06.2010)
Published in Automatica (Oxford) (01.06.2010)
Get full text
Journal Article
Efficient nonconflict check by using automaton abstractions
Rong Su, van Schuppen, Jan H., Rooda, Jacobus E., Hofkamp, Albert T.
Published in 2009 European Control Conference (ECC) (01.08.2009)
Published in 2009 European Control Conference (ECC) (01.08.2009)
Get full text
Conference Proceeding
Journal Article