422 search results - page 16 / 85 » Modeling Real-World Control Systems: Beyond Hybrid Systems |
RECSYS
2010
ACM
13 years 7 months ago
2010
ACM
Social network analysis has attracted increasing attention in recent years. In many social networks, besides friendship links amongst users, the phenomenon of users associating th...
HYBRID
2007
Springer
14 years 1 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...
HYBRID
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
WOSP
2004
ACM
2004
ACM
Early-stage performance modeling and its application for integrated embedded control software design
14 years 1 months ago
Most of current embedded control software (ECSW) development techniques deal only with performance specifications during the early software design phase and delay the modeling and...
HYBRID
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...