✦ LIBER ✦

Compositional modeling and refinement for hierarchical hybrid systems

✍ Scribed by Rajeev Alur; Radu Grosu; Insup Lee; Oleg Sokolsky

Book ID: 113720595
Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 255 KB
Volume: 68
Category: Article
ISSN: 1567-8326
DOI: 10.1016/j.jlap.2005.10.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hierarchical Fuzzy CMAC for Nonlinear Sy

Hierarchical Fuzzy CMAC for Nonlinear Systems Modeling

✍ Wen Yu, ; Rodriguez, F.O.; Moreno-Armendariz, M.A. 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 373 KB

Hierarchical Bayesian strategy for model

Hierarchical Bayesian strategy for modeling correlated compositional data with observed zero counts

✍ Huston, Carolyn (author);Schwarz, Carl (author) 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 656 KB

Hierarchical Bayesian strategy for model

Hierarchical Bayesian strategy for modeling correlated compositional data with observed zero counts

✍ Huston, Carolyn (author);Schwarz, Carl (author) 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 656 KB

Integration of Categorical Frameworks: R

Integration of Categorical Frameworks: Rule-Based Refinement and Hierarchical Composition for Components

✍ Julia Padberg 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 812 KB

Extending Timed Automata for Composition

Extending Timed Automata for Compositional Modeling Healthy Timed Systems

✍ Víctor Braberman; Alfredo Olivero 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 382 KB

We introduce the notion of Timed I/O Components as Timed Automata "à la" Alur \& Dill where an "admissible" I/O interface is declared. That notion has, what we consider, a key modeling property: non-zeno preservation under syntacticallycheckable "I/O compatibility" among interacting components. Also

Hierarchical approaches for systems mode

Hierarchical approaches for systems modeling in cardiac development

✍ Gould, Russell A.; Aboulmouna, Lina M.; Varner, Jeffrey D.; Butcher, Jonathan T. 📂 Article 📅 2013 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 609 KB