✦ LIBER ✦

Verification of Large State/Event Systems Using Compositionality and Dependency Analysis

✍ Scribed by Jørn Lind-Nielsen; Henrik Reif Andersen; Henrik Hulgaard; Gerd Behrmann; Kåre Kristoffersen; Kim G. Larsen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of Hierarchical State/Event

✍ G. Behrmann; K.G. Larsen; H.R. Andersen; H. Hulgaard; J. Lind-Nielsen 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 158 KB

Synthesis of decentralized state feedbac

✍ Shigemasa Takai; Shinzo Kodama; Toshimitsu Ushio 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 667 KB

Analysis and verification of real-time s

✍ Sérgio Vale Aguiar Campos; Edmund Clarke 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 177 KB

Analysis and control of fuzzy discrete e

✍ Xing, Hongyan; Zhang, Qiansheng; Huang, Kaisheng 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 405 KB

Decentralized stabilization of large-sca

✍ Labibi, B.; Lohmann, B.; Sedigh, A.K.; Maralani, P.J. 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 321 KB

Large-signal analysis of DC motor drive

✍ Ali Bekir Yildiz 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 266 KB