𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Constraint graph-based approach for the analysis and the control of time critical systems

✍ Scribed by Patrice Bonhomme


Publisher
Springer
Year
2011
Tongue
English
Weight
367 KB
Volume
57
Category
Article
ISSN
0268-3768

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A Dual Language Approach Extension to UM
✍ Luigi Lavazza; Sandro Morasca; Angelo Morzenti πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 201 KB

A "dual language" component-based approach to the development of real-time critical applications is proposed. UML provides the constructs for modeling the structure of the system and the behavior of the system's components. A new descriptive language based on temporal logic, called OTL (Object Tempo

Graph model-based approach to the repres
✍ J. Sztipanovits; G. Karsai; C. Biegl πŸ“‚ Article πŸ“… 1988 πŸ› John Wiley and Sons 🌐 English βš– 636 KB

In a large class of intelligent machines, one of the tasks of the knowledge-based system components is to corlfigure real-time signal processing systems. These systems implement low-level sensory or control algorithms according to the model of the system to be observed or controlled. If a change in