Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
: The consolidation of multiple servers and their workloads aims to minimize the number of servers needed thereby enabling the efficient use of server and power resources. At the s...
Daniel Gmach, Jerry Rolia, Ludmila Cherkasova, Gui...
- This paper presents a learning approach using cerebellar model articulation controller (CMAC) to accommodate faults for a class of multivariable nonlinear systems. A CMAC is prop...
Chih-Min Lin, Chang-Chih Chung, Yu-Ju Liu, Daniel ...
— In this paper the problem of adaptively controlling a hydraulic system with uncertainties is considered. An adaptive controller is derived to control actuator force with unknow...
Daniel F. Schmidt, Andrew P. Paplinski, Gordon S. ...
CommandTalk is a spoken-language interface to battlefield simulations that allows the use of ordinary spoken English to create forces and control measures, assign missions to forc...
Robert C. Moore, John Dowding, Harry Bratt, Jean M...