14190 search results - page 70 / 2838 » Abstractions for hybrid systems |
HYBRID
2009
Springer
15 years 6 months ago
2009
Springer
We show that regarding finite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particula...
AIML
2008
15 years 1 months ago
2008
In this paper we define a many-valued semantics for hybrid logic and we give a sound and complete tableau system which is prooftheoretically well-behaved, in particular, it gives r...
HYBRID
2004
Springer
15 years 5 months ago
2004
Springer
The observability of deterministic, discrete-time, switched, linear systems is considered. Depending on whether or not the modes are observed, and on whether the continuous state o...
111
click to vote
INFORMATICALT
2000
14 years 11 months ago
2000
Abstract. The paper presents an intelligent GIS architecture that enables us to extend GIS functionality by using domain specific knowledge and inference engine. In this architectu...
115
click to vote
ROBOCUP
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...