𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Kripke modelling and verification of temporal specifications of a multiple UAV system

✍ Scribed by Gopinadh Sirigineedi; Antonios Tsourdos; Brian A. White; Rafał Żbikowski

Book ID
106343228
Publisher
Springer Netherlands
Year
2011
Tongue
English
Weight
563 KB
Volume
63
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using temporal logics of knowledge for s
Using temporal logics of knowledge for specification and verification—a case study
✍ Clare Dixon 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temp

Modeling and verification of a missile l
Modeling and verification of a missile launcher system
✍ Is k, C.; Ider, S.; Acar, B. 📂 Article 📅 2013 🏛 SAGE Publications 🌐 English ⚖ 616 KB

The launcher models used in most of the previous studies have few degrees of freedom that cannot possibly capture many important motion characteristics. In this work, a flexible multibody model of a missile launcher system is built. The fixed, azimuth and elevation platforms and the launching pod ar

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