Library
search
local_library
Repository
PT
P Tabuada
View Pure Profile
Authored
3 records found
Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
Conference paper -
M Rungger
,
M. Mazo
,
P Tabuada
Scaling up controller synthesis for linear systems and safety specifications
Conference paper -
M Rungger
,
M. Mazo
,
P Tabuada
System architectures, protocols and algorithms for aperiodic wireless control systems
Journal article -
J Araujo
,
M. Mazo
,
A Anta
,
P Tabuada
,
K.H Johansson