Sciweavers

813 search results - page 94 / 163
» Correctness Properties for Multiagent Systems
Sort
View
140
Voted
UMUAI
2008
108views more  UMUAI 2008»
15 years 3 months ago
Developing a generalizable detector of when students game the system
Some students, when working in interactive learning environments, attempt to "game the system", attempting to succeed in the environment by exploiting properties of the s...
Ryan Shaun Joazeiro de Baker, Albert T. Corbett, I...
138
Voted
ICRA
2007
IEEE
163views Robotics» more  ICRA 2007»
15 years 10 months ago
Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers
— Quickly adapting the manufacturing system to the production of new or modified products is critical for manufacturers in order to stay competitive. For flexible manufacturing...
Oscar Ljungkrantz, Knut Akesson, Johan Richardsson...
132
Voted
FMSD
2006
183views more  FMSD 2006»
15 years 3 months ago
An algebraic theory for behavioral modeling and protocol synthesis in system design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...
Jean-Pierre Talpin, Paul Le Guernic
171
Voted
ADAEUROPE
2005
Springer
15 years 9 months ago
Non-intrusive System Level Fault-Tolerance
This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a...
Kristina Lundqvist, Jayakanth Srinivasan, Sé...
136
Voted
DEDS
2000
104views more  DEDS 2000»
15 years 3 months ago
Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems
We address the problem of failure diagnosis in discrete event systems with decentralized information. We propose a coordinated decentralized architecture consisting of local sites ...
Rami Debouk, Stéphane Lafortune, Demostheni...