✦ LIBER ✦

Continuous modeling of real-time and hybrid systems: from concepts to tools

✍ Scribed by Kim G. Larsen; B. Steffen; C. Weise

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Oris: a tool for modeling, verification

✍ Giacomo Bucci; Laura Carnevali; Lorenzo Ridi; Enrico Vicario 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 926 KB

An application of structural modeling an

✍ Shinichi Honiden; Naoshi Uchihira; Kazunori Matsumoto; Kazuo Matsumura; Masahiko 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 949 KB

Model-based Predictive Control of Hybrid

✍ Boštjan Potočnik; Gašper Mušič; Igor Škrjanc; Borut Zupančič 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 787 KB

On fluidification of Petri Nets: from di

✍ Manuel Silva; Laura Recalde 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 290 KB

Modeling manufacturing systems: from agg

✍ Bart MacCarthy 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 31 KB

Wind-solar hybrid electrical supply syst

✍ Hansjörg Gabler; Joachim Luther 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 539 KB