Sze Zheng Yong

CoRR, 2024

2023

Tight Remainder-Form Decomposition Functions With Applications to Constrained Reachability and Guaranteed State Estimation.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., December, 2023

State and Unknown Terrain Estimation for Planetary Rovers via Interval Observers.

[BibT_eX]

[DOI]

Adv. Intell. Syst., March, 2023

Robust Data-Driven Control Barrier Functions for Unknown Continuous Control Affine Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Set-Based Intent-Expressive Trajectory Planning and Intent Estimation.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2023

Data-Driven Model Discrimination of Switched Nonlinear Systems with Temporal Logic Inference.

[BibT_eX]

[DOI]

CoRR, 2023

Preview Control Barrier Functions for Linear Continuous-Time Systems with Previewable Disturbances.

[BibT_eX]

[DOI]

Tarun Pati

Seunghoon Hwang

Proceedings of the European Control Conference, 2023

Interval Observers for Hybrid Dynamical Systems with Known Jump Times.

[BibT_eX]

[DOI]

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

Resilient State Estimation for Nonlinear Discrete-Time Systems via Input and State Interval Observer Synthesis.

[BibT_eX]

[DOI]

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

Computing Controlled Invariant Sets of Nonlinear Control-Affine Systems.

[BibT_eX]

[DOI]

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

2022

L₁-Robust Interval Observer Design for Uncertain Nonlinear Dynamical Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Model Discrimination of Switched Nonlinear Systems With Temporal Logic-Constrained Switching.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Integrated Passive-Active Model Identification With Tunable Model Discrimination for Affine Discrete-Time Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

H∞-Optimal Interval Observer Synthesis for Uncertain Nonlinear Dynamical Systems via Mixed-Monotone Decompositions.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Guaranteed State Estimation via Direct Polytopic Set Computation for Nonlinear Discrete-Time Systems.

[BibT_eX]

[DOI]

Fatima Shoaib

IEEE Control. Syst. Lett., 2022

Data-Driven Abstraction and Model Invalidation for Unknown Systems With Bounded Jacobians.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

Equalized Recovery State Estimators for Linear Systems With Delayed and Missing Observations.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2022

H<sub>∞</sub>-optimal Interval Observer Synthesis for Uncertain Nonlinear Dynamical Systems via Mixed-Monotone Decompositions.

[BibT_eX]

[DOI]

CoRR, 2022

Multi-Model Affine Abstraction of Nonlinear Systems with Model Discrimination Guarantees.

[BibT_eX]

[DOI]

Proceedings of the European Control Conference, 2022

System-Level Recurrent State Estimators for Affine Systems Subject to Data Losses Modeled by Automata.

[BibT_eX]

[DOI]

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

A Multi-Parametric Method for Active Model Discrimination of Nonlinear Systems with Temporal Logic-Constrained Switching.

[BibT_eX]

[DOI]

Ruochen Niu

Proceedings of the American Control Conference, 2022

Interval Observer Synthesis for Locally Lipschitz Nonlinear Dynamical Systems via Mixed-Monotone Decompositions.

[BibT_eX]

[DOI]

Fatima Shoaib

Proceedings of the American Control Conference, 2022

Resilient Interval Observer for Simultaneous Estimation of States, Modes and Attack Policies.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2022

2021

Stability Control of Autonomous Ground Vehicles Using Control-Dependent Barrier Functions.

[BibT_eX]

[DOI]

Yiwen Huang

Yan Chen

IEEE Trans. Intell. Veh., 2021

Mesh-Based Piecewise Affine Abstraction With Polytopic Partitions for Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2021

Incremental Affine Abstraction of Nonlinear Systems.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2021

Tight Remainder-Form Decomposition Functions with Applications to Constrained Reachability and Interval Observer Design.

[BibT_eX]

[DOI]

CoRR, 2021

Simultaneous Mode, State and Input Set-Valued Observers for Switched Nonlinear Systems.

[BibT_eX]

[DOI]

CoRR, 2021

Path-dependent controller and estimator synthesis with robustness to delayed and missing data.

[BibT_eX]

[DOI]

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Simultaneous Input and State Interval Observers for Nonlinear Systems with Rank-Deficient Direct Feedthrough.

[BibT_eX]

[DOI]

Proceedings of the 2021 European Control Conference, 2021

Tractable Compositions of Discrete-Time Control Barrier Functions with Application to Driving Safety Control.

[BibT_eX]

[DOI]

Proceedings of the 2021 European Control Conference, 2021

Guaranteed State Estimation via Indirect Polytopic Set Computation for Nonlinear Discrete-Time Systems.

[BibT_eX]

[DOI]

Fatima Shoaib

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Computation-Aware Data-Driven Model Discrimination with Application to Driver Intent Identification.

[BibT_eX]

[DOI]

Mohit Bhagwat

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Interval Observers for Simultaneous State and Model Estimation of Partially Known Nonlinear Systems.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

Time-Varying Tube-Based Output Feedback MPC for Constrained Linear Systems with Intermittently Delayed Data.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Simultaneous Input and State Interval Observers for Nonlinear Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Tractable Compositions of Discrete-Time Control Barrier Functions with Application to Lane Keeping and Obstacle Avoidance.

[BibT_eX]

[DOI]

CoRR, 2020

Simultaneous State and Unknown Input Set-Valued Observers for Nonlinear Dynamical Systems.

[BibT_eX]

[DOI]

CoRR, 2020

Simultaneous Mode, Input and State Set-Valued Observers with Applications to Resilient Estimation Against Sparse Attacks.

[BibT_eX]

[DOI]

CoRR, 2020

Simultaneous input and state set-valued \mathcal{H}_{\infty}-observers for linear parameter-varying systems.

[BibT_eX]

[DOI]

CoRR, 2020

Active Model Discrimination Using Partition-Based Output Feedback Input Design.

[BibT_eX]

[DOI]

Proceedings of the 18th European Control Conference, 2020

Simultaneous Input and State Interval Observers for Nonlinear Systems with Full-Rank Direct Feedthrough.

[BibT_eX]

[DOI]

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

Data-Driven Model Invalidation for Unknown Lipschitz Continuous Systems via Abstraction.

[BibT_eX]

[DOI]

Proceedings of the 2020 American Control Conference, 2020

2019

Regulation of Linear Systems Using Event-Based Detection Sensors.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2019

Equalized recovery: Weakening invariance for control and estimation: poster abstract.

[BibT_eX]

[DOI]

Kwesi J. Rutledge

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

Partition-Based Parametric Active Model Discrimination with Applications to Driver Intention Estimation.

[BibT_eX]

[DOI]

Ruochen Niu

Proceedings of the 17th European Control Conference, 2019

Safe Autonomous Overtaking with Intention Estimation.

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

Simultaneous Mode, In put and State Set-Valued Observers with Applications to Resilient Estimation against Sparse Attacks.

[BibT_eX]

[DOI]

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

Optimization-Based Approaches for Affine Abstraction and Model Discrimination of Uncertain Nonlinear Systems.

[BibT_eX]

[DOI]

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

Intention-Aware Supervisory Control with Driving Safety Applications.

[BibT_eX]

[DOI]

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

Robust Optimization-Based Affine Abstractions for Uncertain Affine Dynamics.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Prefix-based Bounded-error Estimation with Intermittent Observations.

[BibT_eX]

[DOI]

Kwesi J. Rutledge

Proceedings of the 2019 American Control Conference, 2019

Simultaneous Input and State Set-Valued ℋ<sub>∞</sub>-Observers For Linear Parameter-Varying Systems.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

Guaranteed Vehicle Safety Control Using Control-Dependent Barrier Functions.

[BibT_eX]

[DOI]

Yiwen Huang

Yan Chen

Proceedings of the 2019 American Control Conference, 2019

Bounded-Error Estimator Design with Missing Data Patterns via State Augmentation.

[BibT_eX]

[DOI]

Proceedings of the 2019 American Control Conference, 2019

2018

Switching and Data Injection Attacks on Stochastic Cyber-Physical Systems: Modeling, Resilient Estimation, and Attack Mitigation.

[BibT_eX]

[DOI]

ACM Trans. Cyber Phys. Syst., 2018

Optimal input design for affine model discrimination with applications in intention-aware vehicles.

[BibT_eX]

[DOI]

Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018

Mesh-Based Affine Abstraction of Nonlinear Systems with Tighter Bounds.

[BibT_eX]

[DOI]

Kanishka Raj Singh

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

Discrete State Estimation with Persistent Sensor Faults and Non-Persistent Noise via Noisy Bayesian Active Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Simultaneous Input and State Set-Valued Observers with Applications to Attack-Resilient Estimation.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Input Design for Nonlinear Model Discrimination via Affine Abstraction.

[BibT_eX]

[DOI]

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data.

[BibT_eX]

[DOI]

Kwesi J. Rutledge

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Simultaneous Input and State Estimation for Linear Time-Varying Continuous-Time Stochastic Systems.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2017

Supermodular Batch State Estimation in Optimal Sensor Scheduling.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2017

Optimal Input Design for Affine Model Discrimination with Applications in Intention-Aware Vehicles.

[BibT_eX]

[DOI]

CoRR, 2017

Guaranteed Fault Detection and Isolation for Switched Affine Models.

[BibT_eX]

[DOI]

Farshad Harirchi

CoRR, 2017

Guaranteed fault detection and isolation for switched affine models.

[BibT_eX]

[DOI]

Farshad Harirchi

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

Weak adaptive submodularity and group-based active diagnosis with applications to state estimation with persistent sensor faults.

[BibT_eX]

[DOI]

Lingyun Gao

Proceedings of the 2017 American Control Conference, 2017

Stabilization of stochastic linear continuous-time systems using noisy neuromorphic vision sensors.

[BibT_eX]

[DOI]

Proceedings of the 2017 American Control Conference, 2017

2016

A Survey of Motion Planning and Control Techniques for Self-Driving Urban Vehicles.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Veh., 2016

Simultaneous Mode, Input and State Estimation for Switched Linear Stochastic Systems.

[BibT_eX]

[DOI]

CoRR, 2016

Set-Point Regulation of Linear Continuous-Time Systems using Neuromorphic Vision Sensors.

[BibT_eX]

[DOI]

CoRR, 2016

A unified filter for simultaneous input and state estimation of linear discrete-time stochastic systems.

[BibT_eX]

[DOI]

Autom., 2016

Adaptive hidden mode tracking control with input constraints and bounded disturbances.

[BibT_eX]

[DOI]

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

Stabilization of linear continuous-time systems using neuromorphic vision sensors.

[BibT_eX]

[DOI]

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

Robust and resilient estimation for Cyber-Physical Systems under adversarial attacks.

[BibT_eX]

[DOI]

Ming Qing Foo

Proceedings of the 2016 American Control Conference, 2016

2015

Resilient state estimation against switching attacks on stochastic cyber-physical systems.

[BibT_eX]

[DOI]

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

Simultaneous input and state estimation with a delay.

[BibT_eX]

[DOI]

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

Simultaneous input and state estimation of linear discrete-time stochastic systems with input aggregate information.

[BibT_eX]

[DOI]

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

Simultaneous input and state estimation for linear time-invariant continuous-time stochastic systems with unknown inputs.

[BibT_eX]

[DOI]

Proceedings of the American Control Conference, 2015

Computational methods for MIMO flat linear systems: Flat output characterization, test and tracking control.

[BibT_eX]

[DOI]

Brian Paden

Proceedings of the American Control Conference, 2015

Asymptotically reachable states and related symmetry in systems theory.

[BibT_eX]

[DOI]

Brian Paden

Proceedings of the American Control Conference, 2015

2014

On minimum-time paths of bounded curvature with position-dependent constraints.

[BibT_eX]

[DOI]

Ricardo G. Sanfelice

Autom., 2014

Simultaneous input and state smoothing for linear discrete-time stochastic systems with unknown inputs.

[BibT_eX]

[DOI]

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

Generalized innovation and inference algorithms for hidden mode switched linear stochastic systems with unknown inputs.

[BibT_eX]

[DOI]

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

Asymptotic adaptive tracking with input amplitude and rate constraints and bounded disturbances.

[BibT_eX]

[DOI]

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

2013

A Unified Framework for Simultaneous Input and State Estimation of Linear Discrete-time Stochastic Systems.

[BibT_eX]

[DOI]

CoRR, 2013

Anytime computation algorithms for stochastically parametric approach-evasion differential games.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Simultaneous input and state estimation for linear discrete-time stochastic systems with direct feedthrough.

[BibT_eX]

[DOI]

Proceedings of the 52nd IEEE Conference on Decision and Control, 2013

Hidden mode tracking control for a class of hybrid systems.

[BibT_eX]

[DOI]