scholarly journals Optimal Control with Weighted Average Costs and Temporal Logic Specifications

2012 ◽  
Author(s):  
Eric Wolff ◽  
Ufuk Topcu ◽  
Richard Murray
Keyword(s):  
Optimal Control ◽  
Temporal Logic ◽  
Weighted Average

scholarly journals On the optimal control of coronavirus (2019-nCov) mathematical model; a numerical approach

2020 ◽  
Vol 2020 (1) ◽  
Author(s):  
N. H. Sweilam ◽  
S. M. Al-Mekhlafi ◽  
A. O. Albalawi ◽  
D. Baleanu
Keyword(s):  
Mathematical Model ◽  
Optimal Control ◽  
Weighted Average ◽  
Necessary Optimality Conditions ◽  
Numerical Approach ◽  
Population Number ◽  
Infected People ◽  
The Stability ◽  
Novel Coronavirus ◽  
Theoretical Results

Abstract In this paper, a novel coronavirus (2019-nCov) mathematical model with modified parameters is presented. This model consists of six nonlinear fractional order differential equations. Optimal control of the suggested model is the main objective of this work. Two control variables are presented in this model to minimize the population number of infected and asymptotically infected people. Necessary optimality conditions are derived. The Grünwald–Letnikov nonstandard weighted average finite difference method is constructed for simulating the proposed optimal control system. The stability of the proposed method is proved. In order to validate the theoretical results, numerical simulations and comparative studies are given.

Formal Methods for Control Synthesis: An Optimization Perspective

2019 ◽  
Vol 2 (1) ◽  
pp. 115-140 ◽  
Author(s):  
Calin Belta ◽  
Sadra Sadraddini
Keyword(s):  
Optimal Control ◽  
Temporal Logic ◽  
Nonlinear Differential Equations ◽  
Fundamental Property ◽  
Control Synthesis ◽  
Future Research ◽  
Optimal Control Strategy ◽  
Formal Synthesis ◽  
Finite State ◽  
Model Computer

In control theory, complicated dynamics such as systems of (nonlinear) differential equations are controlled mostly to achieve stability. This fundamental property, which can be with respect to a desired operating point or a prescribed trajectory, is often linked with optimality, which requires minimizing a certain cost along the trajectories of a stable system. In formal verification (model checking), simple systems, such as finite-state transition graphs that model computer programs or digital circuits, are checked against rich specifications given as formulas of temporal logics. The formal synthesis problem, in which the goal is to synthesize or control a finite system from a temporal logic specification, has recently received increased interest. In this article, we review some recent results on the connection between optimal control and formal synthesis. Specifically, we focus on the following problem: Given a cost and a correctness temporal logic specification for a dynamical system, generate an optimal control strategy that satisfies the specification. We first provide a short overview of automata-based methods, in which the dynamics of the system are mapped to a finite abstraction that is then controlled using an automaton corresponding to the specification. We then provide a detailed overview of a class of methods that rely on mapping the specification and the dynamics to constraints of an optimization problem. We discuss advantages and limitations of these two types of approaches and suggest directions for future research.

Sign in / Sign up

Export Citation Format

Share Document