Huan Xu

37 papers A* 2Journal 26Unranked 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
SAFE-SMART: Safety Analysis and Formal Evaluation using STL Metrics for Autonomous RoboTs.
CoRR
Kristy Sakano, Jianyu An, Dinesh Manocha, Huan Xu
2025 J jnl
Wireless Sensor Network Optimization for Constrained Environments With Limited a Priori Target Information.
IEEE Access
Joseph Mockler, Sarah Wielgosz, Huan Xu
2024 — conf
Environmentally-Aware Wireless Sensor Network Optimization for Improved Target Localization.
IEEE SENSORS
Joseph Mockler, Sarah Wielgosz, Huan Xu
2024 J jnl
Refining autonomous vehicle situational awareness due to varying sensor error.
Syst. Eng.
Donald H. Costello, Nicholas Hanlon, Huan Xu
2024 J jnl
Using Sensor Errors to Define Autonomous System Situational Awareness.
IEEE Access
Donald H. Costello, Paola Jaramillo Cienfuegos, Huan Xu
2023 J jnl
Using a run time assurance approach for certifying autonomy within naval aviation.
Syst. Eng.
Donald H. Costello, Huan Xu
2022 J jnl
A Path Dependent Approach for Characterizing the Legal Governance of Autonomous Systems.
IEEE Access
Joseph E. Borson, Huan Xu
2022 J jnl
Distributed Task Allocation Algorithms for Multi-Agent Systems With Very Low Communication.
IEEE Access
Akshay Bapat, Bharath Reddy Bora, Jeffrey W. Herrmann, Shapour Azarm, Huan Xu, Michael W. Otte
2021 J jnl
Communication-Aware Multi-Agent Metareasoning for Decentralized Task Allocation.
IEEE Access
Estefany Carrillo, Suyash Yeotikar, Sharan Nayak, Mohamed Khalid M. Jaffar, Shapour Azarm, Jeffrey W. Herrmann, Michael W. Otte, Huan Xu
2021 J jnl
Generating Certification Evidence for Autonomous Aerial Vehicles Decision-Making.
J. Aerosp. Inf. Syst.
Donald H. Costello, Huan Xu
2021 A* conf
Multi-Agent Ergodic Coverage in Urban Environments.
ICRA
Shivang Patel, Senthil Hariharan Arul, Pranav Dhulipala, Ming C. Lin, Dinesh Manocha, Huan Xu, Michael W. Otte
2021 J jnl
Relating Sensor Degradation to Vehicle Situational Awareness for Autonomous Air Vehicle Certification.
J. Aerosp. Inf. Syst.
Donald H. Costello, Huan Xu
2021 J jnl
Robust Nonlinear Control-Based Trajectory Tracking for Quadrotors Under Uncertainty.
IEEE Control. Syst. Lett.
Krishna Bhavithavya Kidambi, Cornelia Fermüller, Yiannis Aloimonos, Huan Xu
2020 A* conf
Decentralized Task Allocation in Multi-Agent Systems Using a Decentralized Genetic Algorithm.
ICRA
Ruchir Patel, Eliot Rudnick-Cohen, Shapour Azarm, Michael W. Otte, Huan Xu, Jeffrey W. Herrmann
2020 J jnl
Experimental Comparison of Decentralized Task Allocation Algorithms Under Imperfect Communication.
IEEE Robotics Autom. Lett.
Sharan Nayak, Michael W. Otte, Suyash Yeotikar, Estefany Carrillo, Eliot Rudnick-Cohen, Mohamed Khalid M. Jaffar, Ruchir Patel, Shapour Azarm, Jeffrey W. Herrmann, Huan Xu
2020 J jnl
Fast 3D Collision Avoidance Algorithm for Fixed Wing UAS.
J. Intell. Robotic Syst.
Zijie Lin, Lina Castano, Edward Mortimer, Huan Xu
2020 J jnl
Metareasoning Structures, Problems, and Modes for Multiagent Systems: A Survey.
IEEE Access
Samuel T. Langlois, Oghenetekevwe Akoroda, Estefany Carrillo, Jeffrey W. Herrmann, Shapour Azarm, Huan Xu, Michael W. Otte
2020 J jnl
Mitigation of Ground Impact Hazard for Safe Unmanned Aerial Vehicle Operations.
J. Aerosp. Inf. Syst.
Andrew Poissant, Lina Castano, Huan Xu
2020 J jnl
Multi-Agent Coverage in Urban Environments.
CoRR
Shivang Patel, Senthil Hariharan Arul, Pranav Dhulipala, Ming C. Lin, Dinesh Manocha, Huan Xu, Michael W. Otte
2019 J jnl
LSwarm: Efficient Collision Avoidance for Large Swarms With Coverage Constraints in Complex Urban Scenes.
IEEE Robotics Autom. Lett.
Senthil Hariharan Arul, Adarsh Jagan Sathyamoorthy, Shivang Patel, Michael W. Otte, Huan Xu, Ming C. Lin, Dinesh Manocha
2019 J jnl
LSwarm: Efficient Collision Avoidance for Large Swarms with Coverage Constraints in Complex Urban Scenes.
CoRR
Senthil Hariharan Arul, Adarsh Jagan Sathyamoorthy, Shivang Patel, Michael W. Otte, Huan Xu, Ming C. Lin, Dinesh Manocha
2019 — conf
Monitoring Access to User Defined Areas with Multi-Agent Team in Urban Environments.
MRS
Manas Gupta, Ming C. Lin, Dinesh Manocha, Huan Xu, Michael W. Otte
2018 J jnl
Hierarchal Application of Receding Horizon Synthesis and Dynamic Allocation for UAVs Fighting Fires.
IEEE Access
Joshua Shaffer, Estefany Carrillo, Huan Xu
2017 J jnl
Node Self-Deployment Algorithm Based on Pigeon Swarm Optimization for Underwater Wireless Sensor Networks.
Sensors
Shan-en Yu, Yiming Xu, Peng Jiang, Feng Wu, Huan Xu
2016 J jnl
Dynamic Layered Dual-Cluster Heads Routing Algorithm Based on Krill Herd Optimization in UWSNs.
Sensors
Peng Jiang, Yang Feng, Feng Wu, Shan-en Yu, Huan Xu
2016 — conf
In-Transit Status Perception of Freight Containers Logistics Based on Multi-sensor Information.
IDCS
Qingxia Li, Xiaohua Cao, Huan Xu
2015 J jnl
Specification and Synthesis of Reactive Protocols for Aircraft Electric Power Distribution.
IEEE Trans. Control. Netw. Syst.
Huan Xu, Ufuk Topcu, Richard M. Murray
2014 J jnl
A Contract-Based Methodology for Aircraft Electric Power System Design.
IEEE Access
Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donzé, Sanjit A. Seshia
2014 J jnl
Control Software Synthesis and Validation for a Vehicular Electric Power Distribution Testbed.
J. Aerosp. Inf. Syst.
Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2013 — conf
An aircraft electric power testbed for validating automatically synthesized reactive control protocols.
HSCC
Robert Rogersten, Huan Xu, Necmiye Ozay, Ufuk Topcu, Richard M. Murray
2013 — conf
Dynamic state estimation in distributed aircraft electric control systems via adaptive submodularity.
CDC
Quentin Maillet, Huan Xu, Necmiye Ozay, Richard M. Murray
2012 — conf
A case study on reactive protocols for aircraft electric power distribution.
CDC
Huan Xu, Ufuk Topcu, Richard M. Murray
2011 — conf
TuLiP: a software toolbox for receding horizon temporal logic planning.
HSCC
Tichakorn Wongpiromsarn, Ufuk Topcu, Necmiye Ozay, Huan Xu, Richard M. Murray
2010 — conf
A simple optimal power flow model with energy storage.
CDC
K. Mani Chandy, Steven H. Low, Ufuk Topcu, Huan Xu
2010 J jnl
An improved section-wise exploiting modification direction method.
Signal Process.
Jianjun Wang, Yiting Sun, Huan Xu, Kangkang Chen, Hyoung-Joong Kim, Sang-Hyun Joo
2010 — conf
Load-shedding probabilities with hybrid renewable power generation and energy storage.
Allerton
Huan Xu, Ufuk Topcu, Steven H. Low, Christopher R. Clarke, K. Mani Chandy
2010 J jnl
Near-optimal solution to pair-wise LSB matching via an immune programming strategy.
Inf. Sci.
Huan Xu, Jianjun Wang, Hyoung-Joong Kim