Mohammad Khajenejad

• PhD
• Assistant Professor at The University of Tulsa

This paper presents an optimal dynamic control framework for bounded Jacobian nonlinear discrete-time (DT) systems with nonlinear observations affected by both state and process noise. Rather than directly stabilizing the uncertain system, we focus on stabilizing an interval observer in a higher dimensional space, whose states bound the true system...

This paper introduces a novel method for robust output-feedback model predictive control (MPC) for a class of nonlinear discrete-time systems. We propose a novel interval-valued predictor which, given an initial estimate of the state, produces intervals which are guaranteed to contain the future trajectory of the system. By parameterizing the contr...

This paper addresses the synthesis of interval observers for partially unknown nonlinear systems subject to bounded noise, aiming to simultaneously estimate system states and learn a model of the unknown dynamics. Our approach leverages Jacobian sign-stable (JSS) decompositions, tight decomposition functions for nonlinear systems, and a data-driven...

This paper provides a novel solution to a task allocation problem, by which a group of agents assigns a discrete set of tasks in a distributed manner. In this setting, heterogeneous agents have individual preferences and associated rewards for doing each task; however, these rewards are only known asymptotically. The assignment problem is formulate...

This paper introduces a novel method for robust output-feedback model predictive control (MPC) for a class of nonlinear discrete-time systems. We propose a novel interval-valued predictor which, given an initial estimate of the state, produces intervals which are guaranteed to contain the future trajectory of the system. By parameterizing the contr...

This paper introduces a novel recursive distributed estimation algorithm aimed at synthesizing input and state interval observers for nonlinear bounded-error discrete-time multi-agent systems. The considered systems have sensors and actuators that are susceptible to unknown or adversarial inputs. To solve this problem, we first identify conditions...

In this chapter, we introduce two interval observer designs for discrete-time (DT) and continuous-time (CT) nonlinear systems with bounded Jacobians that are affected by bounded uncertainties. Our proposed methods utilize the concepts of mixed-monotone decomposition and embedding systems to design correct-by-construction interval framers, i.e., the...

This paper addresses optimal feedback stabilizing control for bounded Jacobian nonlinear discrete-time (DT) systems with nonlinear observations, affected by state and process noise. Instead of directly stabilizing the uncertain system, we propose stabilizing a higher-dimensional interval observer whose states enclose the true system states. Our non...

This paper proposes a tractable family of remainder-form mixed-monotone decomposition functions that are useful for over-approximating the image set of nonlinear mappings in reachability and estimation problems. Our approach applies to a new class of nonsmooth, discontinuous nonlinear systems that we call either-sided locally Lipschitz semicontinuo...

In this paper, we consider the computation of controlled invariant sets (CIS) of discrete-time nonlinear control affine systems. We propose an iterative refinement procedure based on polytopic inclusion functions, which is able to approximate the maximal controlled invariant set to within a guaranteed precision. In particular, this procedure allows...

In this paper, we study the control properties of a new class of stochastic ensemble systems that consists of families of random variables. These random variables provide an increasingly good approximation of an unknown discrete, linear-time invariant (DLTI) system, and can be obtained by a standard, data-driven procedure. Our first result relates...

This paper proposes a novel distributed interval-valued simultaneous state and input observer for linear time-invariant (LTI) systems that are subject to attacks or unknown inputs injected both on their sensors and actuators. Each agent in the network leverages a singular value decomposition (SVD) based transformation to decompose its observations...

In this letter, we introduce robust data-driven control barrier functions (CBF-DDs) to guarantee robust safety of unknown continuous control affine systems despite worst-case realizations of generalization errors from prior data under various continuity assumptions. To achieve this, we leverage non-parametric data-driven approaches for learning gua...

In this paper, we introduce a new notion of guaranteed privacy that requires that the change of the range of the corresponding inclusion function to the true function is small. In particular, leveraging mixed-monotone inclusion functions, we propose a privacy-preserving mechanism for nonconvex distributed optimization, which is based on determinist...

This paper proposes a novel distributed interval observer design for linear time-invariant (LTI) discrete-time systems subject to bounded disturbances. In the proposed observer algorithm, each agent in a networked group exchanges locally-computed framers or interval-valued state estimates with neighbors, and coordinates its update via an intersecti...

In this article, we propose fixed‐order set‐valued (in the form of ℓ2$$ {\ell}_2 $$‐norm hyperballs) observers for several classes of quadratically constrained nonlinear dynamical systems with unknown input signals that simultaneously/jointly find bounded hyperballs of states and unknown inputs that include the true states and inputs. Necessary and...

This paper introduces a novel $\mathcal{H}_{\infty}$-optimal interval observer synthesis for bounded-error/uncertain locally Lipschitz nonlinear continuous-time (CT) and discrete-time (DT) systems with noisy nonlinear observations. Specifically, using mixed-monotone decompositions, the proposed observer is correct by construction, i.e., the interva...

This paper proposes a novel unified interval-valued observer synthesis approach for locally Lipschitz nonlinear continuous-time (CT) and discrete-time (DT) systems with nonlinear observations. A key feature of our proposed observer, which is derived using mixed-monotone decompositions, is that it is correct by construction (i.e., the true state tra...

This letter introduces a novel $\mathcal {H}_{\infty }$ -optimal interval observer synthesis for bounded-error/uncertain locally Lipschitz nonlinear continuous-time (CT) and discrete-time (DT) systems with noisy nonlinear observations. Specifically, using mixed-monotone decompositions, the proposed observer is correct by construction, i.e., the i...

In this letter, we consider data-driven abstraction and model invalidation problems for unknown nonlinear discrete-time dynamical systems with bounded Jacobians, where only prior noisy sampled data of the systems, instead of mathematical models, are available. First, we introduce a novel non-parametric learning approach to over-approximate the unkn...

This letter presents a novel interval observer design for uncertain locally Lipschitz continuous-time (CT) and discrete-time (DT) systems with noisy nonlinear observations that is input-to-state stable (ISS) and minimizes the $L_{1}$ -gain of the observer error system with respect to the uncertainties. Using mixed-monotone decompositions, the pro...

Smart and Cyber-Physical Systems (CPS), e.g., power and traffic networks and smart homes, are becoming increasingly ubiquitous as they offer new opportunities for improved performance and functionalities. However, these often safety-critical systems have also recently become the target of cyber or physical attacks. This chapter contributes to the a...

In this paper, we introduce a new notion of guaranteed privacy for distributed nonconvex optimization algorithms. In particular, leveraging mixed-monotone inclusion functions, we propose a privacy-preserving mechanism which is based on deterministic, but unknown affine perturbations of the local objective functions. The design requires a robust opt...

This paper introduces a set-theoretic state estimation approach for bounded-error nonlinear discrete-time systems, subject to nonlinear observations or constraints, when polytope-valued uncertainties are assumed. Our approach relies on finding a polytopic enclosure to the true range of nonlinear mappings via the direct use of hyperplane and vertex...

This paper considers the problem of designing interval observers for hidden mode switched nonlinear systems with bounded noise signals that are compromised by false data injection and switching attacks. The proposed observer consists of three components: i) a bank of mode-matched observers, which simultaneously estimates the corresponding mode-matc...

Herein, the problem of state and unknown terrain estimation is considered, where the unknown planetary terrain parameters, e.g., terrain stiffness and ground height, are inferred from how it affects rover motion through vehicle-terrain interaction. In particular, an alternative framework for terrain estimation based on set-valued or set-membership...

This paper proposes novel set-theoretic approaches for state estimation in bounded-error discrete-time nonlinear systems, subject to nonlinear observations/constraints. By transforming the polytopic sets that are characterized as zonotope bundles (ZB) and/or constrained zonotopes (CZ), from the state space to the space of the generators of ZB/CZ, w...

This paper proposes a tractable family of remainder-form mixed-monotone decomposition functions that are useful for over-approximating the image set of nonlinear mappings in reachability and estimation problems. In particular, our approach applies to a new class of nonsmooth nonlinear systems that we call either-sided locally Lipschitz (ELLC) syste...

In this paper, we study the problem of designing a simultaneous mode, input, and state set-valued observer for a class of hidden mode switched nonlinear systems with bounded-norm noise and unknown input signals, where the hidden mode and unknown inputs can represent fault or attack models and exogenous fault/disturbance or adversarial signals, resp...

In this paper, we propose an incremental abstraction method for dynamically over-approximating nonlinear systems in a bounded domain by solving a sequence of linear programs, resulting in a sequence of affine upper and lower hyperplanes with expanding operating regions. Although the affine abstraction problem can be solved using a single linear pro...

We address the problem of designing simultaneous input and state interval observers for Lipschitz continuous nonlinear systems with unknown inputs and bounded noise signals. Benefiting from the existence of nonlinear decomposition functions and affine abstractions, our proposed observer recursively computes the maximal and minimal elements of the e...

This paper introduces control barrier functions for discrete-time systems, which can be shown to be necessary and sufficient for controlled invariance of a given set. Moreover, we propose nonlinear discrete-time control barrier functions for partially control affine systems that lead to controlled invariance conditions that are affine in the contro...

In this paper, we propose an incremental abstraction method for dynamically over-approximating nonlinear systems in a bounded domain by solving a sequence of linear programs, resulting in a sequence of affine upper and lower hyperplanes with expanding operating regions. Although the affine abstraction problem can be solved offline using a single li...

We study the problem of designing interval-valued observers that simultaneously estimate the system state and learn an unknown dynamic model for partially unknown nonlinear systems with dynamic unknown inputs and bounded noise signals. Leveraging affine abstraction methods and the existence of nonlinear decomposition functions, as well as applying...

In this paper, we consider the data-driven model invalidation problem for Lipschitz continuous systems, where instead of given mathematical models, only prior noisy sampled data of the systems are available. We show that this data-driven model invalidation problem can be solved using a tractable feasibility check. Our proposed approach consists of...

A simultaneous input and state interval observer is presented for Lipschitz continuous nonlinear systems with unknown inputs and bounded noise signals for the case when the direct feedthrough matrix has full column rank. The observer leverages the existence of bounding decomposition functions for mixed monotone mappings to recursively compute the m...

In this paper, we propose fixed-order set-valued observers for nonlinear bounded-error dynamical systems with unknown input signals that simultaneously find bounded sets of states and unknown inputs that include the true states and inputs. Sufficient conditions in the form of Linear Matrix Inequalities (LMIs) for the stability of the proposed obser...

A fixed-order set-valued observer is presented for linear parameter-varying systems with bounded-norm noise and under completely unknown attack signals, which simultaneously finds bounded sets of states and unknown inputs that include the true state and inputs. The proposed observer can be designed using semidefinite programming with LMI constraint...

A fixed-order set-valued observer is presented for linear parameter-varying systems with bounded-norm noise and under completely unknown attack signals, which simultaneously finds bounded sets of states and unknown inputs that include the true state and inputs. The proposed observer can be designed using semidefinite programming with LMI constraint...

A simultaneous mode, input and state observer is proposed for hidden mode switched linear systems with bounded-norm noise and completely unknown input signals. The observer consists of two constituents: (i) a bank of mode-matched observers and (ii) a mode estimator. Each mode-matched observer recursively outputs the mode-matched compatible sets of...

The particle swarm algorithm is a relatively new approach to optimization, drawing inspiration from group behavior and the establishment of social norms. It is gaining popularity, especially because of the speed of con-vergence and the fact that it is easy to use. In this paper a novel adaptive particle swarm optimization method is intro-duced, in...