P Tabuada | TU Delft Repository

Library

local_library Home Repository

PT

P Tabuada

Conference paper (2)

Journal article (1)

3 records found

1

System architectures, protocols and algorithms for aperiodic wireless control systems

Journal article (2014) - J Araujo (author) , M Mazo Jr. (author) , A Anta (author) , P Tabuada (author) , K.H Johansson (author)

Specification-guided controller synthesis for linear systems and safe linear-time temporal logic

Conference paper (2013) - M Rungger (author) , M. Mazo Espinosa (author) , P Tabuada (author)

Scaling up controller synthesis for linear systems and safety specifications

Conference paper (2012) - M Rungger (author) , M. Mazo Espinosa (author) , P Tabuada (author)