1902 search results - page 86 / 381 » Differential Dynamic Logics |
169
click to vote
ENTCS
2002
15 years 5 months ago
2002
Dynamic Logic Programming (DLP) was introduced to deal with knowledge about changing worlds, by assigning semantics to sequences of generalized logic programs, each of which repres...
141
click to vote
ECSQARU
2007
Springer
15 years 11 months ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
134
click to vote
ISCAS
2002
IEEE
15 years 10 months ago
2002
IEEE
Scalar linear time-varying systems are addressed. In particular, a new factorization method for the associated scalar polynomial system differential operator is presented. It diff...
109
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
A framework for virtual reality of engineering objects has been developed. This framework may simulate different equipment related to virtual reality. Framework supports 6D dynami...
147
click to vote
SIAMCO
2008
15 years 5 months ago
2008
Abstract. Necessary conditions of optimality are derived for multiobjective optimal control problems with free end-time, in which the dynamics constraint is modeled as a nonconvex ...