P Tabuada | TU Delft 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 (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 (author), P Tabuada (author)

Scaling up controller synthesis for linear systems and safety specifications

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