PT

P Tabuada

3 records found

Authored

System architectures, protocols and algorithms for aperiodic wireless control systems
Journal article (2014) - J Araújo, M. Mazo, A Anta, P Tabuada, K.H Johansson

Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
Conference paper (2013) - M Rungger, M. Mazo, P Tabuada

Scaling up controller synthesis for linear systems and safety specifications
Conference paper (2012) - M Rungger, M. Mazo, P Tabuada