Alert button
Picture for Chiao Hsieh

Chiao Hsieh

Alert button

Coordinated Science Laboratory at the University of Illinois at Urbana-Champaign

Assuring safety of vision-based swarm formation control

Oct 03, 2022
Chiao Hsieh, Yangge Li, Yubin Koh, Sayan Mitra

Figure 1 for Assuring safety of vision-based swarm formation control
Figure 2 for Assuring safety of vision-based swarm formation control
Figure 3 for Assuring safety of vision-based swarm formation control
Figure 4 for Assuring safety of vision-based swarm formation control
Viaarxiv icon

Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos

Aug 09, 2022
Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic

Figure 1 for Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Figure 2 for Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Figure 3 for Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Figure 4 for Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos
Viaarxiv icon

Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions

Nov 10, 2021
Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra

Figure 1 for Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Figure 2 for Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Figure 3 for Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Figure 4 for Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
Viaarxiv icon

Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation

Sep 10, 2020
Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra

Figure 1 for Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation
Figure 2 for Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation
Figure 3 for Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation
Figure 4 for Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation
Viaarxiv icon

CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination

Oct 10, 2019
Ritwika Ghosh, Joao P. Jansch-Porto, Chiao Hsieh, Amelia Gosse, Minghao Jiang, Hebron Taylor, Peter Du, Sayan Mitra, Geir Dullerud

Figure 1 for CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination
Figure 2 for CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination
Figure 3 for CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination
Figure 4 for CyPhyHouse: A Programming, Simulation, and Deployment Toolchain for Heterogeneous Distributed Coordination
Viaarxiv icon

PAC Learning-Based Verification and Model Synthesis

Nov 03, 2015
Yu-Fang Chen, Chiao Hsieh, Ondřej Lengál, Tsung-Ju Lii, Ming-Hsien Tsai, Bow-Yaw Wang, Farn Wang

Figure 1 for PAC Learning-Based Verification and Model Synthesis
Figure 2 for PAC Learning-Based Verification and Model Synthesis
Figure 3 for PAC Learning-Based Verification and Model Synthesis
Figure 4 for PAC Learning-Based Verification and Model Synthesis
Viaarxiv icon