✦ LIBER ✦

A verification methodology for real-time supervisory control specification

✍ Scribed by Sengoda G. Shanmugham; Chell A. Roberts

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 455 KB
Volume: 29
Category: Article
ISSN: 0360-8352
DOI: 10.1016/0360-8352(95)00159-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A specification technique for generating

A specification technique for generating and simulating supervisory control

✍ Chell A. Roberts; Terrence G. Beaumariage 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 403 KB

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

Directed flowgraphs: The basis of a spec

Directed flowgraphs: The basis of a specification and construction methodology for real-time systems

✍ Jorge E. Rodriguez; Sol J. Greenspan 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 1023 KB

Distributed estimation, inferencing and

Distributed estimation, inferencing and multi-sensor data fusion for real time supervisory control

✍ C.J Harris 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 724 KB

A statecharts-based specification and ve

A statecharts-based specification and verification of real-time job scheduling systems : A. Sowmya, pp 263–268

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 227 KB

Combining flow control techniques with P

Combining flow control techniques with Petri nets methodologies for real-time control of FMS

✍ L. Jacot; P. Ladet 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 853 KB