✦ LIBER ✦

Interval-based analysis in embedded system design

✍ Scribed by M Jersak; K Richter; R Ernst

Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 314 KB
Volume: 66
Category: Article
ISSN: 0378-4754
DOI: 10.1016/j.matcom.2003.11.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Grammar-based design of embedded systems

✍ Johnny Öberg; Mattias O'Nils; Axel Jantsch; Adam Postula; Ahmed Hemani 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 629 KB

Real-time structured analysis in system

Real-time structured analysis in system level design of embedded ASICs

📂 Article 📅 1988 🏛 Elsevier Science ⚖ 9 KB

Interval observer design based on nonlin

Interval observer design based on nonlinear hybridization and practical stability analysis

✍ N. Meslem; N. Ramdani 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 290 KB

Multi-criteria optimal design of paralle

Multi-criteria optimal design of parallel manipulators based on interval analysis

✍ F. Hao; J.-P. Merlet 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 339 KB

Safety, liveness and real-time in embedd

Safety, liveness and real-time in embedded system design

✍ Harri Klapuri; Jarmo Takala; Jukka Saarinen 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 548 KB

Modelling of complex systems should be based on mathematical notions rather than being bound tightly to any programming language. Therefore, it is useful to be able to distinguish the different constituents of a distributed and concurrent system. In this paper, we focus on the formal properties know

Case-based design in the SEED system

✍ Ulrich Flemming 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 904 KB