Sciweavers

2490 search results - page 370 / 498
» The Generalized Theory of Model Preference
Sort
View
EMSOFT
2006
Springer
15 years 7 months ago
Scheduling-independent threads and exceptions in SHIM
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
Olivier Tardieu, Stephen A. Edwards
HYBRID
1995
Springer
15 years 7 months ago
Supervisory Control of Real-Time Systems Using Prioritized Synchronization
The theory of supervisory control of discrete event systems is extended to the real-time setting. The real-time behavior of a system is represented by the set of all possible time...
Ratnesh Kumar, Mark A. Shayman
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
15 years 7 months ago
The hybrid intelligent control for the fused magnesia production
—The electro-fused magnesia furnace is one of the main equipments used to produce electro-fused magnesia which is high performance refractory. Due to the multivariable, strong no...
Yongjian Wu, Zhiwei Wu, Bin Dong, Li Zhang, Tianyo...
ATAL
2008
Springer
15 years 6 months ago
Quantifying over coalitions in epistemic logic
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
EUSFLAT
2003
175views Fuzzy Logic» more  EUSFLAT 2003»
15 years 5 months ago
A multiattribute decision making approach using intuitionistic fuzzy sets
The concept of intuitionistic fuzzy sets is the generalization of the concept of fuzzy sets. The theory of intuitionistic fuzzy sets is well suited to dealing with vagueness. Rece...
Deng-Feng Li, Jian-Bo Yang