3199 search results - page 151 / 640 » Variability in Automation System Models |
117
Voted
KBSE
1998
IEEE
15 years 6 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
157
Voted
MCMASTER
1993
15 years 6 months ago
1993
Abstract. This survey of the theory and applications of rewriting with equations discusses the existence and uniqueness of normal forms, the Knuth-Bendix completion procedure and i...
138
click to vote
HYBRID
1997
Springer
15 years 6 months ago
1997
Springer
Hybrid transition systems in their full generality describe continuous behaviour by a set of equations in each mode an algebraic or di erential equation for each state variable in ...
145
Voted
ATAL
2011
Springer
14 years 2 months ago
2011
Springer
Distributed systems can often be modeled as a collection of distributed (system) variables whose values are constrained by a set of constraints. In distributed multi-agent systems...
135
click to vote
PLILP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...