3995 search results - page 23 / 799 » Linearization of hybrid processes |
148
click to vote
HYBRID
2007
Springer
16 years 2 days ago
2007
Springer
Given a switched multi–inventory system we wish to find the optimal schedule of the resets to maintain the system in a safe operating interval, while minimizing a function relat...
126
click to vote
CIE
2008
Springer
15 years 8 months ago
2008
Springer
We show how different functional interpretations can be combined via a multi-modal linear logic. A concrete hybrid of Kreisel's modified realizability and G
177
click to vote
STACS
2007
Springer
16 years 1 days ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
159
click to vote
CCE
2008
15 years 5 months ago
2008
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
110
Voted
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
We investigatetherole of commutativityin queryprocessing of linear recursion. We give a sufficientconditionfor two linear,function-free,constant-free,andrange-restricted rules to ...