University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 74 items
Thumbnail for Safe and Stabilizing Distributed Flocking in Spite of Actuator Faults
Safe and Stabilizing Distributed Flocking in Spite of Actuator Faults
Johnson, Taylor; Mitra, Sayan

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 StarL: Toward a web interface for distributed robotics
StarL: Toward a web interface for distributed robotics
Li, Shuting

Thumbnail for Performance Evaluation of an Automated Testing Pipeline for Autonomous Driving Systems
Performance Evaluation of an Automated Testing Pipeline for Autonomous Driving Systems
Datta, Arnab

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 Location sensitive shared memory implementation for mobile system
Location sensitive shared memory implementation for mobile system
Sun, Liyi

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

Thumbnail for SkyTrakx with ROSplane: Unmanned air-traffic management protocol simulation with fixed-wing and heterogeneous aircraft models
SkyTrakx with ROSplane: Unmanned air-traffic management protocol simulation with fixed-wing and heterogeneous aircraft models
Ni, Yifeng

Thumbnail for Verification of Annotated Models from Executions
Verification of Annotated Models from Executions
Duggirala, Parasara Sridhar; Mitra, Sayan; Viswanathan, Mahesh

Thumbnail for Application of black-box optimization on system verification
Application of black-box optimization on system verification
Leung, Peter

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 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 Accelerating cerification of cyber-physical systems using symmetry
Accelerating cerification of cyber-physical systems using symmetry
Sibai, Hussein

Thumbnail for Translation of Simulink-Stateflow models to hybrid automata
Translation of Simulink-Stateflow models to hybrid automata
Manamcheri Sukumar, Karthikeyan

Thumbnail for Compositional bounded reachability using time partitioning and abstraction
Compositional bounded reachability using time partitioning and abstraction
Green, Jeremy

Thumbnail for On simulation based verification of nonlinear nondeterministic hybrid systems
On simulation based verification of nonlinear nondeterministic hybrid systems
Huang, Zhenqi

Thumbnail for Programming platform for distributed robotics: primitives and portability
Programming platform for distributed robotics: primitives and portability
Lin, Yixiao

Thumbnail for Uniform verification of safety for parameterized networks of hybrid automata
Uniform verification of safety for parameterized networks of hybrid automata
Johnson, Taylor

Thumbnail for StarL for programming reliable robotic networks
StarL for programming reliable robotic networks
Zimmerman, Adam

Thumbnail for Continuous integration and testing for autonomous racing in simulation
Continuous integration and testing for autonomous racing in simulation
Jiang, Minghao

Thumbnail for A two-level path planning and monitoring architecture for real-world autonomous driving systems
A two-level path planning and monitoring architecture for real-world autonomous driving systems
Liu, Tianqi

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 Design and verification of a safe autonomous satellite rendezvous maneuver
Design and verification of a safe autonomous satellite rendezvous maneuver
Chan, Nicole

Thumbnail for Automatic simulation-driven reachability using matrix measures
Automatic simulation-driven reachability using matrix measures
Fan, Chuchu

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 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 Opportunistic clock synchronization for ad hoc networks
Opportunistic clock synchronization for ad hoc networks
Carrasco, Maria B.