University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–21 of 21 items
Thumbnail for Automatic simulation-driven reachability using matrix measures
Automatic simulation-driven reachability using matrix measures
Fan, Chuchu

Thumbnail for Formal methods for safe autonomy: Data-driven verification, synthesis, and applications
Formal methods for safe autonomy: Data-driven verification, synthesis, and applications
Fan, Chuchu

Thumbnail for Bounded Verification with On-the-Fly Discrepancy Computation
Bounded Verification with On-the-Fly Discrepancy Computation
Fan, Chuchu; Mitra, Sayan

Thumbnail for Locally Optimal Reach Set Over-approximation for Nonlinear Systems
Locally Optimal Reach Set Over-approximation for Nonlinear Systems
Fan, Chuchu; Kapinski, James; Jin, Xiaoqing; Mitra, Sayan

Thumbnail for Separation of distributed coordination and control for programming reliable robotics
Separation of distributed coordination and control for programming reliable robotics
Ghosh, Ritwika

Thumbnail for Towards parallelization of simulation-based reachability
Towards parallelization of simulation-based reachability
Qi, Bolun

Thumbnail for Non-Deterministic Vehicle Simulation Tool
Non-Deterministic Vehicle Simulation Tool
Li, Rongzhou

Thumbnail for Verify CMOS inverter circuit model using thin variable technique
Verify CMOS inverter circuit model using thin variable technique
Meng, Yu

Thumbnail for Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features
Building DryVR: A verification and controller synthesis engine for cyber-physical systems and safety-critical autonomous vehicle features
Qi, Bolun

Thumbnail for Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study
Safe reinforcement learning: An overview, a hybrid systems perspective, and a case study
Potok, Matthew

Thumbnail for Accelerating cerification of cyber-physical systems using symmetry
Accelerating cerification of cyber-physical systems using symmetry
Sibai, Hussein

Thumbnail for Design and verification of a safe autonomous satellite rendezvous maneuver
Design and verification of a safe autonomous satellite rendezvous maneuver
Chan, Nicole

Thumbnail for Modeling and management of dynamic loads in power systems
Modeling and management of dynamic loads in power systems
Zhang, Kaiqing

Thumbnail for State estimation of switched nonlinear systems and systems with bounded inputs: Entropy and bit rates
State estimation of switched nonlinear systems and systems with bounded inputs: Entropy and bit rates
Sibai, Hussein Mohamad Ali

Thumbnail for Acoustic Labor in the Timing of Everyday Life: A Critical Contribution to the History of Samba in Rio De Janeiro
Acoustic Labor in the Timing of Everyday Life: A Critical Contribution to the History of Samba in Rio De Janeiro
Araujo, Samuel Mello, Jr.

Thumbnail for Compositional analysis of networked cyber-physical systems: safety and privacy
Compositional analysis of networked cyber-physical systems: safety and privacy
Huang, Zhenqi

Thumbnail for Dynamic analysis of Cyber-Physical Systems
Dynamic analysis of Cyber-Physical Systems
Duggirala, Parasara Sridhar

Thumbnail for Real-time data operations and causal security analysis for edge-cloud-based Smart Grid infrastructure
Real-time data operations and causal security analysis for edge-cloud-based Smart Grid infrastructure
Ren, Wenyu

Thumbnail for Algorithmic advances in dynamic analysis for detecting concurrency bugs
Algorithmic advances in dynamic analysis for detecting concurrency bugs
Mathur, Umang

Thumbnail for Inaudible acoustics: Techniques and applications
Inaudible acoustics: Techniques and applications
Roy, Nirupam

Thumbnail for Reinforcement learning for multi-agent and robust control systems
Reinforcement learning for multi-agent and robust control systems
Zhang, Kaiqing