Reliably determining system trajectories is essential in many analysis and control design approaches. To this end, an initial value problem has to be usually solved via numerical algorithms which rely on a certain sof...
详细信息
Recent employments of SMT solvers within the Lyapunov function synthesis provided effective tools for automated construction of Lyapunov functions alongside with sound computer-assisted certificates. The main benefit ...
详细信息
In this work we synthesize constrained control laws in a compositional way to enforce a reachability specification for an interconnected controlsystem. We first synthesize for each system a controller enforcing a loc...
详细信息
ISBN:
(纸本)9781665436601
In this work we synthesize constrained control laws in a compositional way to enforce a reachability specification for an interconnected controlsystem. We first synthesize for each system a controller enforcing a local reachability specification using linear feasibility programs. Then within the framework of parametric assume-guarantee contracts, which encode the behavior of a controlsystem in a parametric domain, we establish a small gain theorem guaranteeing the overall specification after interconnecting the systems together. The resulting controller could then be implemented in a decentralized, distributed, or mixed setup. We also show the effectiveness of our approach with a room temperature control example.
For the implementations of controllers on digital processors, certain limitations, e.g. in the instruction set and register length, need to be taken into account, especially for safety-critical applications. This work...
详细信息
The controller of an input-affine system is determined through minimizing a time-varying objective function, where stabilization is ensured via a Lyapunov function decay condition as constraint. This constraint is inc...
详细信息
ISBN:
(纸本)9781665436601
The controller of an input-affine system is determined through minimizing a time-varying objective function, where stabilization is ensured via a Lyapunov function decay condition as constraint. This constraint is incorporated into the objective function via a barrier function. The time-varying minimum of the resulting relaxed cost function is determined by a tracking system. This system is constructed using derivatives up to second order of the relaxed cost function and improves the existing approaches in time-varying optimization. Under some mild assumptions, the tracking system yields a solution which is feasible for all times, and it converges to the optimal solution of the relaxed objective function in a user-defined fixed-time. The effectiveness of these results in comparison to exponential convergence is demonstrated in a case study.
The controller of an input-affine system is determined through minimizing a time-varying objective function, where stabilization is ensured via a Lyapunov function decay condition as constraint. This constraint is inc...
详细信息
Converse optimality theory addresses an optimal control problem conversely where the system is unknown and the value function is chosen. Previous work treated this problem both in continuous and discrete time and non-...
详细信息
The Hermetia illucens insects or the black soldier fly has been attracting a growing interest in the food and feed industry. For its high nutritional value on the one hand, and because it is an adequate species for in...
详细信息
ISBN:
(数字)9783907144107
ISBN:
(纸本)9798331540920
The Hermetia illucens insects or the black soldier fly has been attracting a growing interest in the food and feed industry. For its high nutritional value on the one hand, and because it is an adequate species for insects in controlled environmental agriculture systems, on the other. Therefore, several models describing this larvae's behaviour have been developed in the literature. Due to the complex nature of living organisms, systems of controlled environment agriculture are characterised by their strong nonlinearities. In this paper, we present a three dimensional nonlinear model describing the black soldier fly dry biomass weight dynamic changes due to the temperature's influence. In practice, this biomass weight is not measured in real time. This becomes problematic for applying feedback control strategies that assume full information of the states. Thus, this work investigates the observability of the dry biomass of a Hermetia illucens farming batch. The instantaneous and global observability of the aforementioned model is proven by constructing an injective transformation between the state space and a higher dimensional space where the transformed states are observable.
The Hermetia illucens insects or the black soldier fly has been attracting a growing interest in the food and feed industry. For its high nutritional value on the one hand, and because it is an adequate species for in...
详细信息
We present an approach to design stabilizing controllers for a set of linear systems without restrictions regarding their modeling order. To this end, the systems are treated as abstract objects in the space of the ν...
详细信息
We present an approach to design stabilizing controllers for a set of linear systems without restrictions regarding their modeling order. To this end, the systems are treated as abstract objects in the space of the ν-gap metric. Via a cluster analysis the set of systems is split into ν-gap similar clusters which are treated separately. For this purpose we provide an algorithm that constructs an explicit prototype system by generalizing the information of a given set of systems. Applying this algorithm to each cluster a set of prototype systems is obtained. Given these prototypes we design controllers in such a way that all systems assigned to a cluster will be stabilized by a corresponding controller. The approach is demonstrated for a set of 80 linear systems.
暂无评论