화학공학소재연구정보센터
검색결과 : 29건
No. Article
1 Periodic event-triggered control of nonlinear systems using overapproximation techniques
Borgers DP, Postoyan R, Anta A, Tabuada P, Nesic D, Heemels WPMH
Automatica, 94, 81, 2018
2 Mode-Target Games: Reactive Synthesis for Control Applications
Balkan A, Vardi M, Tabuada P
IEEE Transactions on Automatic Control, 63(1), 196, 2018
3 Computing Robust Controlled Invariant Sets of Linear Systems
Rungger M, Tabuada P
IEEE Transactions on Automatic Control, 62(7), 3665, 2017
4 Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
Shoukry Y, Nuzzo P, Puggelli A, Sangiovanni-Vincentelli AL, Seshia SA, Tabuada P
IEEE Transactions on Automatic Control, 62(10), 4917, 2017
5 Control Barrier Function Based Quadratic Programs for Safety Critical Systems
Ames AD, Xu XR, Grizzle JW, Tabuada P
IEEE Transactions on Automatic Control, 62(8), 3861, 2017
6 A Framework for the Event-Triggered Stabilization of Nonlinear Systems
Postoyan R, Tabuada P, Nesic D, Anta A
IEEE Transactions on Automatic Control, 60(4), 982, 2015
7 Self-triggered linear quadratic control
Gommans T, Antunes D, Donkers T, Tabuada P, Heemels M
Automatica, 50(4), 1279, 2014
8 Towards Kron reduction of generalized electrical networks
Caliskan SY, Tabuada P
Automatica, 50(10), 2586, 2014
9 Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
Fawzi H, Tabuada P, Diggavi S
IEEE Transactions on Automatic Control, 59(6), 1454, 2014
10 Special Issue on Control of Cyber-Physical Systems
Johansson KH, Pappas GJ, Tabuada P, Tomlin CJ
IEEE Transactions on Automatic Control, 59(12), 3120, 2014