320 search results - page 21 / 64 » Constructing Invariants for Hybrid Systems |
135
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
A pseudorandom point in an ergodic dynamical system over a computable metric space is a point which is computable but its dynamics has the same statistical behavior of a typical po...
148
click to vote
SEMWEB
2007
Springer
15 years 12 months ago
2007
Springer
Many enterprise systems face the same kind of information processing problems that exist on the web in general, and creating semantic solutions often involve constructing an enterp...
148
click to vote
CDC
2008
IEEE
16 years 8 days ago
2008
IEEE
ate Abstractions of Discrete-Time Controlled Stochastic Hybrid Systems Alessandro D’Innocenzo, Alessandro Abate, and Maria D. Di Benedetto — This work proposes a procedure to c...
141
click to vote
CDC
2008
IEEE
16 years 8 days ago
2008
IEEE
— This paper studies a class of hybrid systems with linear (or linear plus saturated linear) continuous and discrete dynamics, which are determined by a flow map and jump map, a...
158
Voted
IEAAIE
1995
Springer
15 years 9 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...