674 search results - page 72 / 135 » Simulating continuous fuzzy systems |
140
click to vote
QEST
2007
IEEE
15 years 8 months ago
2007
IEEE
Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems. The Platform Independent Petri net Editor (PIPE) is an ...
117
Voted
RTAS
2009
IEEE
15 years 8 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
100
click to vote
TMC
2011
14 years 8 months ago
2011
— In large-scale fingerprinting localization systems, fine-grained location estimation and quick location determination are conflicting concerns. To achieve finer-grained loc...
102
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
103
Voted
CDC
2008
IEEE
15 years 8 months 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...