458 search results - page 74 / 92 » Monitoring of a Class of Timed Discrete Events Systems |
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
ROBOCUP
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
PERCOM
2007
ACM
14 years 3 months ago
2007
ACM
Traffic Congestion is a multi-billion dollar national problem and worsening every year with population growth and increase in freight traffic. We present a model for realistic s...
ACSAC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Integrity measurement is a key issue in building trust in distributed systems. A good solution to integrity measurement has to provide both strong isolation between the ...
SIAMCO
2008
13 years 8 months ago
2008
Abstract. In this paper we consider a class of hybrid stochastic games with the piecewise openloop information structure. These games are indexed over a parameter which represents...