422 search results - page 67 / 85 » Modeling Real-World Control Systems: Beyond Hybrid Systems |
AOSE
2004
Springer
14 years 1 months ago
2004
Springer
Societies need patterned behavior to exist. Large-scale agent societies may contain a diversity of agents, each with differing abilities and functionalities. When such an agent sys...
AINA
2007
IEEE
14 years 1 months ago
2007
IEEE
— Simulation is the most famous way to study wireless an mobile networks since they offer a convenient combination of flexibility and controllability. However, their largest dis...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a gro...
SACMAT
2005
ACM
14 years 1 months ago
2005
ACM
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In this work, we introduce the class of Interrupt Timed Automata (ITA), which are well suited to the description of multi-task systems with interruptions in a single proc...