HASE
2016
IEEE
8 years 3 months ago
2016
IEEE
CDC
2013
IEEE
9 years 2 months ago
2013
IEEE
— A geometrical approach to quadratic Lyapunov stability for the class of switched linear systems which share a common invariant subspace is contributed in this article. The robu...
HASE
2014
IEEE
9 years 2 months ago
2014
IEEE
— An unpatched vulnerability can lead to security breaches. When a new vulnerability is discovered, it needs to be assessed so that it can be prioritized. A major challenge in so...
HYBRID
2013
Springer
10 years 2 months ago
2013
Springer
HYBRID
2011
Springer
12 years 7 months ago
2011
Springer
We investigate a state feedback Linear Quadratic Regulation problem with a constraint on the number of actuation signals that can be updated simultaneously. Such a constraint aris...
HYBRID
2011
Springer
12 years 7 months ago
2011
Springer
HYBRID
2011
Springer
12 years 7 months ago
2011
Springer
We examine the problem of reliable networked control when the communication channel between the controller and the actuator periodically drops packets and is faulty i.e., corrupts...
HYBRID
2011
Springer
12 years 7 months ago
2011
Springer
HYBRID
2011
Springer
12 years 7 months ago
2011
Springer
A wireless networked control systems (NCS) is a control system whose feedback path is realized over a wireless communication network. The stability of such systems can be problema...
FROCOS
2011
Springer
12 years 7 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...