967 search results - page 7 / 194 » Languages and Tools for Hybrid Systems Design |
ASPDAC
2004
ACM
14 years 29 days ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
In this paper, we describe a decompositional approach to convergence proofs for stochastic hybrid systems given as probabilistic hybrid automata. We focus on a concept called “st...
TOOLS
2009
IEEE
14 years 2 months ago
2009
IEEE
— In this paper, we present our current work on a UML based environment providing efficient means for system
MEMOCODE
2003
IEEE
14 years 24 days ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Recently, schema mapping has found considerable interest in both research and practice. Determining matching components of database or XML schemas is needed in many applications, e...