Computer Science

Abstract System-theoretical methods are already used for the control of computing systems, but much more can be done exploiting said methods for their'design'. This requires to express in control-theoretical terms desires and specifications that originate in the computer science domain, which may not be immediate. It also requires to accept that part of the addressed system be modified, which may pose some acceptance problems. However, if those issues are handled correctly, the payback is often very relevant. This study ...

Abstract: We present a methodology for proving temporal properties of the divergentruns of reactive systems with real-valued clocks. A run diverges if time advances beyondany bound. Since the divergent runs of a system may satisfy liveness properties thatare not satisfied by some convergent runs, the standard proof rules are incomplete ifonly divergent runs are considered.

Page 1. Hybrid Automata with Finite Mutual Simulations* Thomas A. Henzinger and Peter W. Kopke ... The torus equivalence relation µ on [0 j ] is defined byhq Dµ¶ tiff¡qR¹u º¼ »½qR¹0¾D ¿ t5¹ ºÀ »§t¹¡¾and q Áu º¼ »Âq ÁG¾D ¿À t&Áu ºÃ »§t&Á0¾. ...

Abstract: We present a methodology for proving temporal properties of the divergentruns of reactive systems with real-valued clocks. A run diverges if time advances beyondany bound. Since the divergent runs of a system may satisfy liveness properties thatare not satisfied by some convergent runs, the standard proof rules are incomplete ifonly divergent runs are considered.

Human over IP (HoIP) is a prototype implementation of a revolutionary idea of using IP as Human identification globally, which will not only keep the individuality but will also govern all the communication. This paper not only represents the idea but also elaborate the successfully implemented model. HoIP gives the concept of one IP one human. It provides state organizations with some special privileges so that they can perform efficiently. The system gives the concept of Central Unique Database, and then providing different departments with the only information needed. So the different level of information has been introduced to provide the organizations with the data of their need only, nothing more or less. For security point of view, the data for every part is stored in encrypted form and decryption is performed while retrieving the data from server. Along with the encryption every part is password protected. Administrative unit is the power control of the system. This unit can...

The online food ordering system provides convenience for the customers. It overcomes the disadvantages of the traditional queuing system. This system increases the takeaway of foods than visitors. Therefore, this system enhances the speed and standardization of taking the order from the customer. It provides a better communication platform. the user's details are noted electronically. The online food ordering system set up menu online and the customers easily places the order with a simple mouse click. Also with a food menu online you can easily track the orders, maintain customer's database and improve your food delivery service. This system allows the user to select the desired food items from the displayed menu. The user orders the food items. The payment can be made online or pay-on-delivery system. The user's details are maintained confidential because it maintains a separate account for each user. An id and password is provided for each user. Therefore it provides a more secured ordering. Existing System: In existing system for giving any orders users should visit hotels or restaurants to know about food items and them give order and pay advance. In this method time and manual work is required. Maintaining critical information in the files and manuals is full of risk and a tedious process. Proposed System: This online application enables the end users to register online, select the food from the e-menu card, read the E-menu card and order food online. By just selecting the food that the user want to have. The results after selecting the food from the E-menu card will directly appear in the screen near the Chef who is going to cook the food for you. By using this application the work of the Waiter is reduced and we can also say that the work is nullified. The benefit of this is that if there is rush in the Restaurant then there will be chances that the waiters will be unavailable and the users can directly order the food to the chef online by using this application. The user will be given a username and a password to login.

Autonomous systems must survive for long periods without relying on humans for fault recovery. Faults may be impossible to analyze remotely and redundant hardware is frequently not allowed. The only recourse may be to replace the existing control strategy. This paper proposes a fuzzy logic controller architecture that executes a replacement control strategy for autonomous systems. This paper shows this architecture is ideally suited for fault recovery in autonomous systems with imprecisely defined faults. The controller is evolved in-situ and evaluated intrinsically

... One of our first challenges will be to modify the fuzzy rules, and their evolution, to specifically support the commander's intent ... [4] RW Johnson, ME Melich, Z. Michalewicz, and M. Schmidt, “Coevolutionary optimization of fuzzy logic intelligence for strategic decision support,” in ...