Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells Read more about Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells
Path By Path Output Regulation of Switched Systems With a Receding Horizon of Modal Knowledge Read more about Path By Path Output Regulation of Switched Systems With a Receding Horizon of Modal Knowledge
Stabilization of Markovian Jump Linear Systems With Log-Quantized Feedback Read more about Stabilization of Markovian Jump Linear Systems With Log-Quantized Feedback
Control of Linear Switched Systems With Receding Horizon Modal Information Read more about Control of Linear Switched Systems With Receding Horizon Modal Information
On the Cost of Differential Privacy in Distributed Control Systems Read more about On the Cost of Differential Privacy in Distributed Control Systems
Proofs from Simulations and Modular Annotations Read more about Proofs from Simulations and Modular Annotations
Differentially Private Iterative Synchronous Consensus Read more about Differentially Private Iterative Synchronous Consensus
Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage Read more about Simulation-based Verification of Cardiac Pacemakers with Guaranteed Coverage
Controller Synthesis for Linear Time-varying Systems with Adversaries Read more about Controller Synthesis for Linear Time-varying Systems with Adversaries
User-aware privacy control via extended static-information-flow analysis Read more about User-aware privacy control via extended static-information-flow analysis