2766 search results - page 12 / 554 » Hybridizing a Logical Framework |
JAR
2008
13 years 9 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Proceedings of CADE-15, LNAI 1421, pp. 205
CORR
2011
Springer
13 years 4 months ago
2011
Springer
Markov Logic Networks (MLNs) have emerged as a powerful framework that combines statistical and logical reasoning; they have been applied to many data intensive problems including...
AUTOMATICA
1999
13 years 9 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
SRDS
1999
IEEE
14 years 2 months ago
1999
IEEE
Hybrid systems like computer-controlled chemical plants are typical safety critical distributed systems. In present practice, the safety of hybrid systems is guaranteed by hazard ...