File
Towards deterministic, timing-aware, and verifiable cyber-physical systems.pdf
Alexis Rodriguez Submitted by Alexis Rodriguez on June 17th, 2021
File
Towards Adaptive and Interactive Machine Listening with Minimal Supervision.pdf
Alexis Rodriguez Submitted by Alexis Rodriguez on June 17th, 2021
File
Towards a Cyberattack-Resilient Nonlinear System under Lyapunov-based Economic Model Predictive Control.pdf
Alexis Rodriguez Submitted by Alexis Rodriguez on June 17th, 2021
File
Theoretical Foundations of Compositional Cyber-Physical Systems Theory.pdf
Alexis Rodriguez Submitted by Alexis Rodriguez on June 17th, 2021
File
Negotiating Visibility for Safe Autonomous Navigation In Occluding and Uncertain Environments.pdf
Alexis Rodriguez Submitted by Alexis Rodriguez on June 17th, 2021
File
Integrated cyberattack detection and handling for nonlinear systems with evolving process dynamics under Lyapunov-based economic model predictive control.pdf
Alexis Rodriguez Submitted by Alexis Rodriguez on June 17th, 2021
File
Hardware-Supported Timing-Critical Software in Lingua Franca.pdf
Alexis Rodriguez Submitted by Alexis Rodriguez on June 17th, 2021
File
Developing Support for Formally Verified Quantifier Elimination.pdf
Alexis Rodriguez Submitted by Alexis Rodriguez on June 17th, 2021
File
Design and Evaluation of Audio Representation Learning for Machine Listening Systems.pdf
Alexis Rodriguez Submitted by Alexis Rodriguez on June 17th, 2021
File
Coupled CFD:FEA simulations of cyberattacks on a steam methane reforming reactor.pdf
Alexis Rodriguez Submitted by Alexis Rodriguez on June 17th, 2021
Subscribe to Session 2