Sciweavers

15840 search results - page 344 / 3168
» The Control of Synchronous Systems
Sort
View
FTCS
1998
79views more  FTCS 1998»
15 years 5 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
APSCC
2008
IEEE
15 years 11 months ago
Implementing Speech-Recognition Microprocessor into Intelligent Control-System of Home-Appliance
This study is a creative and initial work focused on designing an intelligent living-space with automatic control system to control all home appliances in the living space. First ...
Chun-Liang Hsu, Sheng-Yuan Yang, Wei-Bin Wu
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 8 months ago
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...
Stavros Tripakis, Karine Altisen
TSMC
2008
138views more  TSMC 2008»
15 years 4 months ago
Comparison of Adaptive Critic-Based and Classical Wide-Area Controllers for Power Systems
Abstract--An adaptive critic design (ACD)-based damping controller is developed for a thyristor-controlled series capacitor (TCSC) installed in a power system with multiple poorly ...
Swakshar Ray, Ganesh K. Venayagamoorthy, Balarko C...
RTSS
2002
IEEE
15 years 9 months ago
Improving Quality-of-Control Using Flexible Timing Constraints: Metric and Scheduling Issues
Closed-loop control systems are dynamic systems subject to perturbations. One of the main concerns of the control is to design controllers to correct or limit the deviation that t...
Pau Martí, Josep M. Fuertes, Gerhard Fohler...