1357 search results - page 116 / 272 » Compositional analysis for linear systems |
112
click to vote
DSN
2003
IEEE
15 years 6 months ago
2003
IEEE
Computer-based advisory systems form with their users composite, human-machine systems. Redundancy and diversity between the human and the machine are often important for the depe...
98
Voted
HYBRID
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
100
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
This workshop provides a forum for an overview, project presentations, and discussion of the research fostered and funded initially by the NSF Next Generation Software (NGS) Progr...
114
Voted
RTCSA
2008
IEEE
15 years 7 months ago
2008
IEEE
A component framework plays an important role in CBSD as it determines how software components are developed, packaged, assembled and deployed. A desirable component framework for...
99
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...