7209 search results - page 615 / 1442 » Software Engineering for Multi-Agent Systems |
122
click to vote
FSTTCS
2008
Springer
15 years 6 months ago
2008
Springer
Regular games provide a very useful model for the synthesis of controllers in reactive systems. The complexity of these games depends on the representation of the winning condition...
156
click to vote
SOCO
2002
Springer
15 years 4 months ago
2002
Springer
Conventional industrial control systems are in majority based on the single-input-single-output design principle with linearized models of the processes. However, most industrial p...
140
Voted
CCE
2008
15 years 4 months ago
2008
Scheduling of processes in mixed batch/continuous plants, due to their hybrid nature can become very complex. This paper presents the Timed Hybrid Petri net (THPN) as a suitable t...
130
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
106
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Automotive architectures consist of multiple electronic control units (ECUs) which run distributed control applications. Such ECUs are connected to sensors and actuators and commu...