Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Science of Security VO
Home
Archive
About
Search
Calendar
Members
Contact Us
Forums
Files
CPS-VO
»
Science of Security VO
» UIUC
UIUC
file
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
Submitted by amyclay on Tue, 11/17/2015 - 5:26pm
biological networks
hybrid systems
invariants
verification
UIUC
file
Path By Path Output Regulation of Switched Systems With a Receding Horizon of Modal Knowledge
Submitted by amyclay on Tue, 11/17/2015 - 5:18pm
UIUC
biblio
Path-By-Path Output Regulation of Switched Systems With a Receding Horizon of Modal Knowledge
Submitted by amyclay on Tue, 11/17/2015 - 5:18pm
UIUC
file
Stabilization of Markovian Jump Linear Systems With Log-Quantized Feedback
Submitted by amyclay on Tue, 11/17/2015 - 5:00pm
UIUC
biblio
Stabilization of Markovian Jump Linear Systems with Log-Quantized Feedback
Submitted by amyclay on Tue, 11/17/2015 - 5:00pm
UIUC
file
Control of Linear Switched Systems With Receding Horizon Modal Information
Submitted by amyclay on Tue, 11/17/2015 - 4:49pm
H infinity control
H2 control
hybrid systems
linear matrix inequalities
stability
switched systems
uniform exponential
UIUC
biblio
Control of Linear Switched Systems with Receding Horizon Modal Information
Submitted by amyclay on Tue, 11/17/2015 - 4:49pm
H infinity control
H2 control
hybrid systems
linear matrix inequalities
stability
switched systems
uniform exponential
UIUC
file
On the Cost of Differential Privacy in Distributed Control Systems
Submitted by amyclay on Tue, 11/17/2015 - 4:12pm
Differential Privacy; Distributed Control; Cyber-physical Security
UIUC
biblio
On the Cost of Privacy in Distributed Control Systems
Submitted by amyclay on Tue, 11/17/2015 - 4:12pm
Differential Privacy; Distributed Control; Cyber-physical Security
UIUC
file
Proofs from Simulations and Modular Annotations
Submitted by amyclay on Tue, 11/17/2015 - 4:06pm
Compositional Veri cation
Compositional Verification
Dynamical Systems
Input-to-state Stability
Simulation-based Verification
UIUC
« first
‹ previous
…
31
32
33
34
35
36
37
38
39
…
next ›
last »
