𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Invariants in the application-oriented specification of control systems

✍ Scribed by S.J. Goldsack; J. Kramer


Publisher
Elsevier Science
Year
1982
Tongue
English
Weight
590 KB
Volume
18
Category
Article
ISSN
0005-1098

No coin nor oath required. For personal study only.

✦ Synopsis


The importance of an application-oriented specification as the starting point for control system design has recently been recognized. As an initial stage of the work of a Special Interest Group on Application Oriented Specifications, Hailing and others presented a review of the problem and some of the approaches to specification in current use. Control applications were divided into two broad classes: continuous control systems on the one hand, and sequential or discrete variable control systems on the other. Within the class of discrete systems a subclass of systems, where large volumes of data must he handled and real.time data manipulations must be specified, was also recognized. This paper aims to show that emphasis on the invariant properties of system elements can be helpful in presenting a system specification for all these types of systems.


πŸ“œ SIMILAR VOLUMES


Specificity of litter odors in the contr
✍ Natalie C. G. Freeman; Dr. Jay S. Rosenblatt πŸ“‚ Article πŸ“… 1978 πŸ› John Wiley and Sons 🌐 English βš– 623 KB

## Abstract The specificity of maternal‐home cage odors governing home orientation was tested in 8‐ to 11‐day‐old kittens. Kittens were first tested for home orientation from the adjacent corner in their own home cages and cages of other mothers with litters of the same age. The majority of kittens

The feedforward control of linear multiv
✍ Edward J. Davison πŸ“‚ Article πŸ“… 1973 πŸ› Elsevier Science 🌐 English βš– 789 KB

Necessary and sufficient conditions for feedforward control to exist in a linear multivariable system and an explicit feedforward controller are obtained, so that tracking when measurable disturbances are present occurs. Summary--Necessary and sufficient conditions are derived for a stable feedforw