Related papers: Output Feedback Controller Design with Symbolic Ob…
Control in a classical transfer function or state-space setting typically views a controller as a signal processor: sensor outputs are mapped to actuator inputs. In behavioral system theory, control is simply viewed as interconnection; the…
A state feedback control strategy is proposed for input-output (IO) decoupling of a class of fully output controllable Boolean control networks (BCNs). Some necessary and sufficient conditions for BCN IO-decoupling are presented. As an…
Cyber-physical systems (CPS) encounter a large volume of data which is added to the system gradually in real time and not altogether in advance. As the volume of data increases, the domain of the control strategies also increases, and thus…
In the dynamics of open quantum systems, the interaction with the external environment usually leads to a contraction of the set of reachable states for the system as time increases, eventually shrinking to a single stationary point. In…
This note studies the robust output feedback stabilization problem of multi-input multi-output invertible nonlinear systems with output-dependent multipliers. An "ideal" state feedback is first designed under certain mild assumptions. Then,…
In this paper, we consider the problem of verifying pre-opacity for discrete-time control systems. Pre-opacity is an important information-flow security property that secures the intention of a system to execute some secret behaviors in the…
This work proposes an adaptive output feedback model predictive control (MPC) framework for uncertain systems subject to external disturbances. In the absence of exact knowledge about the plant parameters and complete state measurements,…
In this paper, we prove the output feedback stabilization for the linearized Korteweg-de Vries (KdV) equation posed on a finite domain in the case the full state of the system cannot be measured. We assume that there is a sensor at the left…
The purpose of this paper is to extend J.C. Willems' theory of dissipative systems to the quantum domain. This general theory, which combines perspectives from the quantum physics and control engineering communities, provides useful methods…
We examine the problem of weaknesses in frameworks of conceptual modeling for handling certain aspects of the system being modeled. We propose the use of a flow-based modeling methodology at the conceptual level. Specifically, and without…
An output feedback model predictive control (MPC) framework with adaptive tubes is proposed for linear time-invariant systems subject to parametric and additive uncertainties. An adaptive observer provides point estimates of the system…
Translating continuous control system models into finite automata allows us to use powerful discrete tools to synthesize controllers for complex specifications. The abstraction construction step is unfortunately hamstrung by high runtime…
This paper is concerned with the output feedback stabilization of a reaction-diffusion equation by means of bounded control inputs in the presence of saturations. Using a finite-dimensional controller composed of an observer coupled with a…
Cyber-Physical Systems (CPS) use computational resources to control physical process and provide critical services. For this reason, an attack in these systems may have dangerous consequences in the physical world. Hence, resilience is a…
This paper considers the problem of implementing a previously proposed direct coupling quantum observer for a closed linear quantum system. This observer is shown to be able to estimate some but not all of the plant variables in a time…
This paper considers the safety-critical control design problem with output measurements. An observer-based safety control framework that integrates the estimation error quantified observer and the control barrier function (CBF) approach is…
Model predictive control (MPC) for uncertain systems in the presence of hard constraints on state and input is a non-trivial problem, and the challenge is increased manyfold in the absence of state measurements. In this paper, we propose an…
The set of externally visible properties associated with process variables in the Experimental Physics and Industrial Control System (EPICS) is predefined in the EPICS base distribution and is therefore not extensible by plug-compatible…
This paper focuses on the feedback global stabilization and observer construction for a sterile insect technique model. The Sterile Insect Technique (SIT) is one of the most ecological methods for controlling insect pests responsible for…
In this paper we consider a linear system structured into physically coupled subsystems and propose a decentralized control scheme capable to guarantee asymptotic stability and satisfaction of constraints on system inputs and states. The…