2067 search results - page 138 / 414 » Logics of propositional control |
121
click to vote
ATAL
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical f...
119
click to vote
APN
2001
Springer
15 years 5 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
116
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
113
click to vote
FIW
2007
15 years 3 months ago
2007
Feature interaction detection methods, whether online or offline, depend on previous knowledge of conflicts between the actions executed by the features. This knowledge is usually ...
142
Voted
EDCC
2006
Springer
15 years 5 months ago
2006
Springer
The importance of fault tolerance at the processor architecture level has been made increasingly important due to rapid advancements in the design and usage of high performance de...