828 search results - page 21 / 166 » Modularity for Timed and Hybrid Systems |
105
click to vote
SEKE
2009
Springer
15 years 8 months ago
2009
Springer
Most existing software optimization research assumes advance knowledge of the component parameters. Perfect future knowledge of fault detection is an unnecessary oversimplificati...
114
Voted
CONCUR
2006
Springer
15 years 5 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
114
click to vote
CCE
2008
15 years 1 months ago
2008
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
105
click to vote
RTSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—The Hierarchical Timing Language (HTL) is a realtime coordination language for distributed control systems. HTL programs must be checked for well-formedness, race freedo...
117
click to vote
HYBRID
2010
Springer
14 years 11 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...