✦ LIBER ✦

Security invariants in discrete transition systems

✍ Scribed by Hoang, Thai Son

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On invariants of discrete dynamical syst

✍ V. Yu. Tyshchenko 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 290 KB

Global and local invariants in transitio

✍ Joseph Sifakis 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 681 KB

Some invariants of discrete-time descrip

✍ Carmen Coll; Màrius J. Fullana; Elena Sánchez 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 101 KB

Invariance results for linear, time-inva

✍ Anthony N. Michel; Ling Hou 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 209 KB

Invariant stabilization of nonlinear dis

✍ I. E. Zuber; A. Kh. Gelig 📂 Article 📅 2007 🏛 Allerton Press, Inc. 🌐 English ⚖ 113 KB

Invariant set stability in discrete non-

✍ V.M. Kuntsevich; V.G. Pokotilo 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 667 KB