A Case Study on Using Automata in Control Synthesis

2000 ◽  
pp. 349-362 ◽  
Author(s):  
Thomas Hune ◽  
Anders Sandholm
Keyword(s):  
Control Synthesis

scholarly journals Using Automata in Control Synthesis. A Case Study

2000 ◽  
Vol 7 (22) ◽  
Author(s):  
Thomas S. Hune ◽  
Anders B. Sandholm
Keyword(s):  
Control Program ◽  
Second Order ◽  
Control Synthesis ◽  
Control Programs

We study a method for synthesizing control programs. The<br />method merges an existing control program with a control automaton.<br />For specifying the control automata we have used monadic second order<br />logic over strings. Using the Mona tool, specifications are translated into<br />automata. This yields a new control program restricting the behavior of<br />the old control program such that the specifications are satisfied. The<br />method is presented through a concrete example.

Case study comparison of linear quadratic regulator and H-infinity control synthesis

1994 ◽  
Vol 17 (5) ◽  
pp. 958-965 ◽  
Author(s):  
James H. Vincent ◽  
Abbas Emami-Naeni ◽  
Nasser M. Khraishi
Keyword(s):  
Linear Quadratic Regulator ◽  
Control Synthesis ◽  
Linear Quadratic ◽  
H Infinity ◽  
H Infinity Control

scholarly journals Using Control Synthesis to Generate Corner Cases: A Case Study on Autonomous Driving

2018 ◽  
Vol 37 (11) ◽  
pp. 2906-2917 ◽  
Author(s):  
Glen Chou ◽  
Yunus Emre Sahin ◽  
Liren Yang ◽  
Kwesi J. Rutledge ◽  
Petter Nilsson ◽  
...  
Keyword(s):  
Autonomous Driving ◽  
Control Synthesis

The Inverse Problem of Continuous-Time Linear Quadratic Gaussian Control With Application to Biological Systems Analysis

2014 ◽  
Author(s):  
M. Cody Priess ◽  
Jongeun Choi ◽  
Clark Radcliffe
Keyword(s):  
Inverse Problem ◽  
Continuous Time ◽  
Control Synthesis ◽  
Linear Matrix ◽  
Linear Quadratic ◽  
Lti System ◽  
Lqr Problem ◽  
Gradient Descent Algorithm ◽  
Lqg Control

In this paper, we demonstrate two methods for solving the inverse problem of continuous-time LQG control. This problem can be defined as: given a known LTI system with feedback controller K and Kalman gain L, can we find the weighting matrices Q, R (for state and input, respectively) and estimated noise intensities W, V (for process and measurement noise, respectively) such that the LQG control synthesis problem using these weights generates K and L? We formulate a regularized version of this problem as a minimization problem subject to a set of Linear Matrix Inequalities (LMIs). If feasible, a unique exact solution to the inverse LQR problem exists. If the LMIs are infeasible, we show a gradient descent algorithm that will find Q, R, W, and V to minimize the error in the recovered gain matrices K and L. We demonstrate these techniques through several numerical examples and formulate a human postural control case study to which we intend to apply our proposed techniques.

The Genesis and Internal Dynamics of El Salvador's People's Revolutionary Army, 1970–1976

2014 ◽  
Vol 38 (01) ◽  
pp. 102-129
Author(s):  
ALBERTO MARTÍN ÁLVAREZ ◽  
EUDALD CORTINA ORERO
Keyword(s):  
Latin America ◽  
El Salvador ◽  
Early Years ◽  
Left Wing ◽  
Internal Dynamics ◽  
Internal Coherence ◽  
The 1960S

AbstractUsing interviews with former militants and previously unpublished documents, this article traces the genesis and internal dynamics of the Ejército Revolucionario del Pueblo (People's Revolutionary Army, ERP) in El Salvador during the early years of its existence (1970–6). This period was marked by the inability of the ERP to maintain internal coherence or any consensus on revolutionary strategy, which led to a series of splits and internal fights over control of the organisation. The evidence marshalled in this case study sheds new light on the origins of the armed Salvadorean Left and thus contributes to a wider understanding of the processes of formation and internal dynamics of armed left-wing groups that emerged from the 1960s onwards in Latin America.

Culture and the plasticity of perception

2020 ◽  
Vol 43 ◽  
Author(s):  
Michael Lifshitz ◽  
T. M. Luhrmann
Keyword(s):  
Cultural Context ◽  
Sensory Experience ◽  
Cultural Learning ◽  
The World

Abstract Culture shapes our basic sensory experience of the world. This is particularly striking in the study of religion and psychosis, where we and others have shown that cultural context determines both the structure and content of hallucination-like events. The cultural shaping of hallucinations may provide a rich case-study for linking cultural learning with emerging prediction-based models of perception.

Dual systems for all: Higher-order, role-based relational reasoning as a uniquely derived feature of human cognition

2019 ◽  
Vol 42 ◽  
Author(s):  
Daniel J. Povinelli ◽  
Gabrielle C. Glorioso ◽  
Shannon L. Kuznar ◽  
Mateja Pavlic
Keyword(s):  
Temporal Reasoning ◽  
Higher Order ◽  
Important Case ◽  
Human Cognition ◽  
Relational Reasoning ◽  
Dual Systems ◽  
First Order ◽  
Reasoning System ◽  
Role Based

Abstract Hoerl and McCormack demonstrate that although animals possess a sophisticated temporal updating system, there is no evidence that they also possess a temporal reasoning system. This important case study is directly related to the broader claim that although animals are manifestly capable of first-order (perceptually-based) relational reasoning, they lack the capacity for higher-order, role-based relational reasoning. We argue this distinction applies to all domains of cognition.

Sign in / Sign up

Export Citation Format

Share Document