Xiangru Xu

IEEE Trans. Autom. Control., December, 2024

Small-Gain Theorem for Safety Verification Under High-Relative-Degree Constraints.

[BibT_eX]

[DOI]

Ziliang Lyu

IEEE Trans. Autom. Control., June, 2024

Adaptive safety-critical control for a class of nonlinear systems with parametric uncertainties: A control barrier function approach.

[BibT_eX]

[DOI]

Syst. Control. Lett., 2024

Reachability Analysis of Neural Network Control Systems With Tunable Accuracy and Efficiency.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2024

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear Plant Models.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2024

2023

Flatness-Based Quadcopter Trajectory Planning and Tracking With Continuous-Time Safety Guarantees.

[BibT_eX]

[DOI]

Victor Freire

IEEE Trans. Control. Syst. Technol., November, 2023

Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Robust Stability of Neural Feedback Systems with Interval Matrix Uncertainties.

[BibT_eX]

[DOI]

CoRR, 2023

Hybrid Zonotope-Based Backward Reachability Analysis for Neural Feedback Systems With Nonlinear System Models.

[BibT_eX]

[DOI]

CoRR, 2023

Using simulation to design an MPC policy for field navigation using GPS sensing.

[BibT_eX]

[DOI]

CoRR, 2023

Safe Control of Euler-Lagrange Systems with Limited Model Information.

[BibT_eX]

[DOI]

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

Reachability Analysis and Safety Verification of Neural Feedback Systems via Hybrid Zonotopes.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

Disturbance Observer-based Robust Control Barrier Functions.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2023

2022

Optimal Control for Kinematic Bicycle Model With Continuous-Time Safety Guarantees: A Sequential Second-Order Cone Programming Approach.

[BibT_eX]

[DOI]

Victor Freire

IEEE Robotics Autom. Lett., 2022

ART/ATK: A research platform for assessing and mitigating the sim-to-real gap in robotics and autonomous vehicle engineering.

[BibT_eX]

[DOI]

CoRR, 2022

A software toolkit and hardware platform for investigating and comparing robot autonomy algorithms in simulation and reality.

[BibT_eX]

[DOI]

CoRR, 2022

Small-gain theorem for safety verification of interconnected systems.

[BibT_eX]

[DOI]

Ziliang Lyu

Autom., 2022

Safety Verification of Neural Feedback Systems Based on Constrained Zonotopes.

[BibT_eX]

[DOI]

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Control Barrier Function Meets Interval Analysis: Safety-Critical Control with Measurement and Actuation Uncertainties.

[BibT_eX]

[DOI]

Sequoyah Walters

Proceedings of the American Control Conference, 2022

Observer-based Control Barrier Functions for Safety Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

Observer-Based Controllers for Incrementally Quadratic Nonlinear Systems With Disturbances.

[BibT_eX]

[DOI]

Martin J. Corless

IEEE Trans. Autom. Control., 2021

Approximation of the Constrained Joint Spectral Radius via Algebraic Lifting.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2021

2020

Finding Trajectories with High Asymptotic Growth Rate for Linear Constrained Switching Systems via a Lift Approach.

[BibT_eX]

[DOI]

CoRR, 2020

Passivity-based analysis of sampled and quantized control implementations.

[BibT_eX]

[DOI]

Necmiye Ozay

Vijay Gupta

Autom., 2020

2019

Interval Observer Synthesis for Polytopic Systems and Conic Systems.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Self-Triggered Interval Observers for Lipschitz Nonlinear Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

2018

Correctness Guarantees for the Composition of Lane Keeping and Adaptive Cruise Control.

[BibT_eX]

[DOI]

IEEE Trans Autom. Sci. Eng., 2018

Robust Stabilization of Nonlinear Systems Using Periodic Event-triggered Control.

[BibT_eX]

[DOI]

CoRR, 2018

Constrained control of input-output linearizable systems using control sharing barrier functions.

[BibT_eX]

[DOI]

Autom., 2018

Periodic Event-Triggered Control Design for Incrementally Conic Nonlinear Systems.

[BibT_eX]

[DOI]

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Observer-Based Output Feedback Control Design for Systems with Incrementally Conic Nonlinearities.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Control Barrier Function Based Quadratic Programs for Safety Critical Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Bounds of passivity indices via feedforward/feedback passivation.

[BibT_eX]

[DOI]

Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Realizing simultaneous lane keeping and adaptive speed regulation on accessible mobile robot testbeds.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Control Technology and Applications, 2017

2016

Control Barrier Function Based Quadratic Programs with Application to Automotive Safety Systems.

[BibT_eX]

[DOI]

CoRR, 2016

Control sharing barrier functions with application to constrained control.

[BibT_eX]

[DOI]

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Passivity degradation in discrete control implementations: An approximate bisimulation approach.

[BibT_eX]

[DOI]

Necmiye Ozay

Vijay Gupta

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Control barrier function based quadratic programs with application to bipedal robotic walking.

[BibT_eX]

[DOI]

Shao-Chen Hsu

Aaron D. Ames

Proceedings of the American Control Conference, 2015

Robustness of Control Barrier Functions for Safety Critical Control.

[BibT_eX]

[DOI]

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

Leader-following consensus of multi-agent systems over finite fields.

[BibT_eX]

[DOI]

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013

Matrix Approach to Model Matching of Asynchronous Sequential Machines.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2013

Solvability and control design for synchronization of Boolean networks.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2013

Bi-decomposition of multi-valued logical functions and its applications.

[BibT_eX]

[DOI]

Daizhan Cheng

Autom., 2013

Matrix approach to stabilizability of deterministic finite automata.

[BibT_eX]

[DOI]

Yanqiong Zhang

Proceedings of the American Control Conference, 2013

2011

Matrix approach to boolean calculus.

[BibT_eX]

[DOI]

Daizhan Cheng

Yin Zhao