10159 search results - page 392 / 2032 » System Design Validation Using Formal Models |
139
click to vote
HYBRID
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
118
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
This paper presents a unifying framework for the modeling of asynchronous pipeline circuits. A pipeline protocol is captured in a graph-based model which defines the partial order...
128
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
Design documents can be exchanged in business-tobusiness networks through Product Data Management (PDM) system integration. This rarely used approach provides new possibilities fo...
124
click to vote
DIAGRAMS
2000
Springer
15 years 8 months ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
154
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...