Zobrazeno 1 - 10
of 254
pro vyhledávání: '"Geilen, Marc"'
The activity framework is a promising model-based design approach for Flexible Manufacturing Systems (FMS). It is used in industry for specification and analysis of FMS. It provides an intuitive specification language with a hierarchical view of the
Externí odkaz:
http://arxiv.org/abs/2312.05011
Autor:
Thuijsman, Sander, Kahraman, Gökhan, Mohamadkhani, Alireza, Timmers, Ferry, Cleophas, Loek, Geilen, Marc, Groote, Jan Friso, Reniers, Michel, Schiffelers, Ramon, Voeten, Jeroen
Supervisory control design of cyber-physical systems has many challenges. Model-based systems engineering can address these, with solutions originating from various disciplines. We discuss several tools, each state-of-the-art in its own discipline, o
Externí odkaz:
http://arxiv.org/abs/2302.03503
Publikováno v:
Logical Methods in Computer Science, Volume 17, Issue 2 (May 26, 2021) lmcs:6128
We develop an interface-modeling framework for quality and resource management that captures configurable working points of hardware and software components in terms of functionality, resource usage and provision, and quality indicators such as perfo
Externí odkaz:
http://arxiv.org/abs/2002.08181
Autor:
Sau, Carlo, Rinaldi, Claudia, Pomante, Luigi, Palumbo, Francesca, Valente, Giacomo, Fanni, Tiziana, Martinez, Marcos, van der Linden, Frank, Basten, Twan, Geilen, Marc, Peeren, Geran, Kadlec, Jiří, Jääskeläinen, Pekka, Bulej, Lubomír, Barranco, Francisco, Saarinen, Jukka, Säntti, Tero, Zedda, Maria Katiuscia, Sanchez, Victor, Nikkhah, Shayan Tabatabaei, Goswami, Dip, Amat, Guillermo, Maršík, Lukáš, van Helvoort, Mark, Medina, Luis, Al-Ars, Zaid, de Beer, Ad
Publikováno v:
In Microprocessors and Microsystems November 2021 87
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
EPTCS 145, 2014, pp. 65-79
Scenario-aware dataflow (SADF) is a prominent tool for modeling and analysis of dynamic embedded dataflow applications. In SADF the application is represented as a finite collection of synchronous dataflow (SDF) graphs, each of which represents one p
Externí odkaz:
http://arxiv.org/abs/1404.0089
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Microprocessors and Microsystems July 2017 52:439-460
Publikováno v:
In Journal of Parallel and Distributed Computing March 2017 101:79-91