At the Rise of Creation of Real-Time Control Programs

Author(s):  
Gennady Ryabov
Author(s):  
Torsten K. Iversen ◽  
Kare J. Kristoffersen ◽  
Kim G. Larsen ◽  
Morten Laursen ◽  
Rune G. Madsen ◽  
...  

Author(s):  
I.M. Mikhailenko ◽  
◽  
V.D. Malygin ◽  

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.


1983 ◽  
Vol 20 (4) ◽  
pp. 317-324
Author(s):  
R. W. Pratt

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.


1999 ◽  
Vol 6 (53) ◽  
Author(s):  
Torsten K. Iversen ◽  
Kåre J. Kristoffersen ◽  
Kim G. Larsen ◽  
Morten Laursen ◽  
Rune G. Madsen ◽  
...  

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


1995 ◽  
Vol 34 (05) ◽  
pp. 475-488
Author(s):  
B. Seroussi ◽  
J. F. Boisvieux ◽  
V. Morice

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.


Sign in / Sign up

Export Citation Format

Share Document