1000 search results - page 83 / 200 » Nominal rewriting systems |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We address the problem of cyclic termgraph rewriting. We propose a new framework where rewrite rules are tuples of the form (L, R, , ) such that L and R are termgraphs representing...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
In this paper a new Fuzzy/Kalman navigation system for Unmanned Aerial Vehicles (UAV) is presented. A closed loop velocity Fuzzy navigation system is proposed for stabilizing the U...
CDC
2009
IEEE
14 years 13 days ago
2009
IEEE
— In this paper we use bilevel programming to find the maximum difference between a reference controller and a low-complexity controller in terms of the infinitynorm difference...
ENTCS
2007
13 years 7 months ago
2007
We introduce a hybrid variant of a dynamic logic with continuous state transitions along differential equations, and we present a sequent calculus for this extended hybrid dynami...
IAAI
2011
12 years 7 months ago
2011
After successfully developing a model-based online planner for the multi-engine hyper-modular prototype printer at PARC, we began investigating other applications with similar cha...