Sciweavers

756 search results - page 75 / 152
» Model Order Reduction for Nonlinear IC Models
Sort
View
AUTOMATICA
2004
68views more  AUTOMATICA 2004»
14 years 9 months ago
Implicit fault-tolerant control: application to induction motors
In this paper we propose an innovative way of dealing with the design of fault-tolerant control systems. We show how the nonlinear output regulation theory can be successfully ado...
Claudio Bonivento, Alberto Isidori, Lorenzo Marcon...
ACL
2011
14 years 1 months ago
Automatically Evaluating Text Coherence Using Discourse Relations
We present a novel model to represent and assess the discourse coherence of text. Our model assumes that coherent text implicitly favors certain types of discourse relation transi...
Ziheng Lin, Hwee Tou Ng, Min-Yen Kan
81
Voted
IJCSA
2007
100views more  IJCSA 2007»
14 years 9 months ago
Using Artificial Neural networks for the modelling of a distillation column
The main aim of this paper is to establish a reliable model both for the steady-state and unsteady-state regimes of a nonlinear process. The use of this model should reflect the t...
Yahya Chetouani
LPAR
2010
Springer
14 years 7 months ago
A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
Michael Gabbay, Murdoch James Gabbay
ICFEM
2009
Springer
15 years 4 months ago
Scalable Multi-core Model Checking Fairness Enhanced Systems
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
Yang Liu 0003, Jun Sun 0001, Jin Song Dong