1105 search results - page 116 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
162
Voted
AAAI
2012
13 years 6 months ago
2012
A tailored model of a system is the prerequisite for various analysis tasks, such as anomaly detection, fault identification, or quality assurance. This paper deals with the algo...
130
Voted
RTCSA
1999
IEEE
15 years 7 months ago
1999
IEEE
Scheduling in an environment with constraints of many different types is known to be a hard problem. We tackle this problem for an integrated steel plant in Ghent, Belgium, using ...
117
Voted
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
147
click to vote
LFCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We consider weighted o-minimal hybrid systems, which extend classical o-minimal hybrid systems with cost functions. These cost functions are “observer variables” whic...
119
Voted
MEMOCODE
2006
IEEE
15 years 9 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...