𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Verification of real-time programs by a knowledge-based strategy

✍ Scribed by Wei Zhang; Jiren Liu; Huatian Li

Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
816 KB
Volume
7
Category
Article
ISSN
0952-1976

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A statecharts-based specification and ve
A statecharts-based specification and verification of real-time job scheduling systems
✍ A. Sowmya πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 606 KB

Real-time job scheduling is a difficult problem. The job scheduling system re ceives jobs from the environment, each job with its own real-time deadline. Queueing and scheduling may still be necessary, in order to maximize the processor usage and also to impose job priorities. In order to comptue di

144 Dimensions of learning in a real-tim
144 Dimensions of learning in a real-time knowledge-based control system: N.V. Findler, pp 159–164
πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 102 KB

This paper presents a particular implementation of a knowledge-based control system. It attempts to show how heuristics developed in recent research on intelligent PID control can be implemented to attain some of the visionary goals of knowledge-based control. The other characteristics of the implem

Real-time implementation of multi-linear
Real-time implementation of multi-linear model-based control strategies––an application to a bench-scale pH neutralization reactor
✍ Omar GalΓ‘n; Jose A Romagnoli; Ahmet Palazoglu πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 403 KB

The real-time implementation of a set of multi-linear model-based control design methodologies is studied using a bench-scale pH neutralization system that exhibits nonlinear dynamics. It is envisaged that advanced model-based control strategy based on the multi-linear models presents a promising pa