✦ LIBER ✦

Use of hybrid models for testing and debugging control software for electromechanical systems

✍ Scribed by K. Kondo; M. Yoshida

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the use of mutations and testing for

✍ Mihai Nica; Simona Nica; Franz Wotawa 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 571 KB

Performance monitoring tools for compute

✍ Avi Rushinek; Sara F. Rushinek 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 533 KB

A testing-domain-dependent software reli

✍ Takaji Fujiwara; Shigeru Yamada 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 768 KB

Practical Controller Design of Hybrid Ex

✍ Seki, K.; Iwasaki, M.; Kawafuku, M.; Hirai, H.; Kishida, K. 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 967 KB

A formal abstract framework for modellin

✍ Aiguier, Marc; Boulanger, Frédéric; Kanso, Bilal 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 531 KB

Linear-quadratic-Gaussian control for ad

✍ Looze, Douglas P. 📂 Article 📅 2008 🏛 Optical Society of America 🌐 English ⚖ 683 KB