Joseph K. Scott

Comput. Chem. Eng., January, 2024

2023

Extended McCormick relaxation rules for handling empty arguments representing infeasibility.

[BibT_eX]

[DOI]

Jason Ye

J. Glob. Optim., September, 2023

Guaranteed Safe Path and Trajectory Tracking via Reachability Analysis Using Differential Inequalities.

[BibT_eX]

[DOI]

J. Intell. Robotic Syst., August, 2023

Dynamic modeling and simulation of pressure swing adsorption processes using toPSAil.

[BibT_eX]

[DOI]

Taehun Kim

Comput. Chem. Eng., August, 2023

2022

Comparison of advanced set-based fault detection methods with classical data-driven and observer-based methods for uncertain nonlinear processes.

[BibT_eX]

[DOI]

Bowen Mu

Comput. Chem. Eng., 2022

2021

Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities.

[BibT_eX]

[DOI]

Dillard Robertson

Autom., 2021

Set-valued state estimation of nonlinear discrete-time systems with nonlinear invariants based on constrained zonotopes.

[BibT_eX]

[DOI]

Brenner S. Rego

Guilherme V. Raffo

Autom., 2021

Improved Interval Reachability Bounds for Nonlinear Discrete-Time Systems using an Efficient One-Dimensional Partitioning Method.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

2020

Accurate Uncertainty Propagation for Discrete-Time Nonlinear Systems Using Differential Inequalities With Model Redundancy.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2020

Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities.

[BibT_eX]

[DOI]

Math. Control. Signals Syst., 2020

Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems.

[BibT_eX]

[DOI]

Brenner S. Rego

Guilherme V. Raffo

Autom., 2020

2019

Convergence-order analysis for differential-inequalities-based bounds and relaxations of the solutions of ODEs.

[BibT_eX]

[DOI]

Spencer D. Schaber

J. Glob. Optim., 2019

2018

A comparison of zonotope order reduction techniques.

[BibT_eX]

[DOI]

Autom., 2018

Accurate Set-Based State Estimation for Nonlinear Discrete-Time Systems using Differential Inequalities with Model Redundancy.

[BibT_eX]

[DOI]

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

Mean Value Form Enclosures for Nonlinear Reachability Analysis.

[BibT_eX]

[DOI]

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

Efficient Reachability Bounds for Discrete-Time Nonlinear Systems by Extending the Continuous-Time Theory of Differential Inequalities.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Tight Reachability Bounds for Nonlinear Systems Using Nonlinear and Uncertain Solution Invariants.

[BibT_eX]

[DOI]

Proceedings of the 2018 Annual American Control Conference, 2018

Convex Relaxations for Nonlinear Stochastic Optimal Control Problems.

[BibT_eX]

[DOI]

Yuanxun Shao

Dillard Robertson

Proceedings of the 2018 Annual American Control Conference, 2018

2017

Differentiability Conditions for Stochastic Hybrid Systems with Application to the Optimal Design of Microgrids.

[BibT_eX]

[DOI]

Alphonse Hakizimana

J. Optim. Theory Appl., 2017

Rapid and accurate reachability analysis for nonlinear dynamic systems by exploiting model redundancy.

[BibT_eX]

[DOI]

Comput. Chem. Eng., 2017

2016

Bounds on reachable sets using ordinary differential equations with linear programs embedded.

[BibT_eX]

[DOI]

Stuart M. Harwood

IMA J. Math. Control. Inf., 2016

Constrained zonotopes: A new tool for set-based estimation and fault detection.

[BibT_eX]

[DOI]

Giuseppe Roberto Marseglia

Autom., 2016

Closed-loop input design for guaranteed fault diagnosis using set-valued observers.

[BibT_eX]

[DOI]

Giuseppe Roberto Marseglia

Autom., 2016

2015

Convex and concave relaxations of implicit functions.

[BibT_eX]

[DOI]

Matthew D. Stuber

Optim. Methods Softw., 2015

Reverse propagation of McCormick relaxations.

[BibT_eX]

[DOI]

J. Glob. Optim., 2015

2014

Input design for guaranteed fault diagnosis using zonotopes.

[BibT_eX]

[DOI]

Rolf Findeisen

Autom., 2014

2013

Interval bounds on the solutions of semi-explicit index-one DAEs. Part 2: computation.

[BibT_eX]

[DOI]

Numerische Mathematik, 2013

Interval bounds on the solutions of semi-explicit index-one DAEs. Part 1: analysis.

[BibT_eX]

[DOI]

Numerische Mathematik, 2013

Convex and Concave Relaxations for the Parametric Solutions of Semi-explicit Index-One Differential-Algebraic Equations.

[BibT_eX]

[DOI]

J. Optim. Theory Appl., 2013

Improved relaxations for the parametric solutions of ODEs using differential inequalities.

[BibT_eX]

[DOI]

J. Glob. Optim., 2013

Bounds on the reachable sets of nonlinear control systems.

[BibT_eX]

[DOI]

Autom., 2013

Active fault diagnosis using moving horizon input design.

[BibT_eX]

[DOI]

Proceedings of the 12th European Control Conference, 2013

A hybrid stochastic-deterministic input design method for active fault diagnosis.

[BibT_eX]

[DOI]

Giuseppe Roberto Marseglia

Lalo Magni

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

Design of active inputs for set-based fault diagnosis.

[BibT_eX]

[DOI]

Rolf Findeisen

Proceedings of the American Control Conference, 2013

2011

Generalized McCormick relaxations.

[BibT_eX]

[DOI]

Matthew D. Stuber

J. Glob. Optim., 2011

Convex relaxations for nonconvex optimal control problems.

[BibT_eX]

[DOI]

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Tight, efficient bounds on the solutions of chemical kinetics models.

[BibT_eX]

[DOI]

Comput. Chem. Eng., 2010

Convex enclosures for the reachable sets of nonlinear parametric ordinary differential equations.

[BibT_eX]

[DOI]