AAAI
2011
13 years 3 months ago
2011
Action modeling is an important skill for agents that must perform tasks in novel domains. Previous work on action modeling has focused on learning STRIPS operators in discrete, r...
AUTOMATICA
2008
14 years 3 months ago
2008
This paper introduces appropriate concepts of input-to-state stability (ISS) and integral-ISS for impulsive systems, i.e., dynamical systems that evolve according to ordinary diff...
HYBRID
2000
Springer
14 years 7 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
HYBRID
2007
Springer
14 years 9 months ago
2007
Springer
Hybrid discrete-continuous models, such as Jump Markov Linear Systems, are convenient tools for representing many real-world systems; in the case of fault detection, discrete jumps...