This paper introduces Fuzzy Neural Network controller to increase the ability of a mobile robot in reacting to the dynamic environments. States of robot and environment, for exampl...
We consider the problem of scheduling n independent jobs on m identical machines that operate in parallel. Each job has a controllable processing time. The fact that the jobs have...
In this paper, a control oriented nonlinear model is developed for a fuel cell based auxiliary power unit which includes a solid oxide fuel cell, an autothermal reforming, and a ba...
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...