At the Rise of Creation of Real-Time Control Programs

In this paper, we consider the task of real-time control of agricultural technologies, using which the optimal control programs are refined by the fact that the real values of the meteorological parameters deviate from the calculated values; disturbances in the parameters of all the mathematical models used are compensated. The most important real-time control function is the spatial correction of control programs according to the actual state of crops and soil environment estimated according to the data of remote sensing of the Earth.

Download Full-text

The Use of Control Basic in the Teaching of Sampled-Data Theory

International Journal of Electrical Engineering Education ◽

10.1177/002072098302000408 ◽

1983 ◽

Vol 20 (4) ◽

pp. 317-324

Author(s):

R. W. Pratt

Keyword(s):

Real Time ◽

Data Systems ◽

Sampled Data ◽

Real Time Control ◽

Control Programs ◽

Time Control

A considerable understanding of the nature of sampled-data systems may be gained through experimental exercises. It is shown that CONTROL BASIC II minimises the effort required to write real-time control programs and thus emphasises the practical and theoretical aspects of sampled-data systems. Three experiments of varying difficulty are described.

Download Full-text

Parallel implementation of real-time control programs

10.1109/cdc.1988.194565 ◽

2003 ◽

Author(s):

P.L. Shaffer

Keyword(s):

Real Time ◽

Parallel Implementation ◽

Real Time Control ◽

Control Programs ◽

Time Control

Download Full-text

Model-Checking Real-Time Control Programs. Verifying LEGO Mindstorms Systems Using UPPAAL

BRICS Report Series ◽

10.7146/brics.v6i53.20123 ◽

1999 ◽

Vol 6 (53) ◽

Cited By ~ 2

Author(s):

Torsten K. Iversen ◽

Kåre J. Kristoffersen ◽

Kim G. Larsen ◽

Morten Laursen ◽

Rune G. Madsen ◽

...

Keyword(s):

Real Time ◽

Timed Automata ◽

Scheduling Algorithm ◽

Automatic Verification ◽

Real Time Control ◽

Time System ◽

Real Time System ◽

Control Programs ◽

Time Control ◽

Verification Tool

In this paper, we present a method for automatic verification of real-time control programs running on LEGO RCX bricks using the verification tool UPPAAL. The control programs, consisting of a number of tasks running concurrently, are automatically translated into the timed automata model of UPPAAL. The fixed scheduling algorithm used by the LEGO RCX processor is modeled in UPPAAL, and supply of similar (sufficient) timed automata models for the environment allows analysis of the overall real-time system using the tools of UPPAAL. To illustrate our techniques we have constructed, modeled and verified a machine for sorting LEGO bricks by color.

Download Full-text

A Real Time Control Architecture for Continuously Managing Patients in a Care Unit

Methods of Information in Medicine ◽

10.1055/s-0038-1634619 ◽

1995 ◽

Vol 34 (05) ◽

pp. 475-488

Author(s):

B. Seroussi ◽

J. F. Boisvieux ◽

V. Morice

Keyword(s):

Real Time ◽

Linear Time ◽

Treatment Plan ◽

Control Architecture ◽

Real Time Control ◽

Time Representation ◽

Time Control ◽

Continuous Support ◽

Definition Of ◽

Computerized System

Abstract:The monitoring and treatment of patients in a care unit is a complex task in which even the most experienced clinicians can make errors. A hemato-oncology department in which patients undergo chemotherapy asked for a computerized system able to provide intelligent and continuous support in this task. One issue in building such a system is the definition of a control architecture able to manage, in real time, a treatment plan containing prescriptions and protocols in which temporal constraints are expressed in various ways, that is, which supervises the treatment, including controlling the timely execution of prescriptions and suggesting modifications to the plan according to the patient’s evolving condition. The system to solve these issues, called SEPIA, has to manage the dynamic, processes involved in patient care. Its role is to generate, in real time, commands for the patient’s care (execution of tests, administration of drugs) from a plan, and to monitor the patient’s state so that it may propose actions updating the plan. The necessity of an explicit time representation is shown. We propose using a linear time structure towards the past, with precise and absolute dates, open towards the future, and with imprecise and relative dates. Temporal relative scales are introduced to facilitate knowledge representation and access.

Download Full-text