5200 search results - page 37 / 1040 » Symbolic models for control systems |
SOFSEM
2009
Springer
14 years 5 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
FTCS
1998
13 years 10 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
ER
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We review the definition of entity types derived by symbolgenerating rules. These types appear frequently in conceptual schemas. However, up to now they have received ver...
ICCD
1995
IEEE
14 years 7 days ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...
HPCC
2005
Springer
14 years 2 months ago
2005
Springer
In this study, we defined requirements of ubiquitous environment, which users can monitor and control situations of home anytime, anywhere. In addition we developed and built a mod...