Sciweavers

15840 search results - page 374 / 3168
» The Control of Synchronous Systems
Sort
View
135
Voted
HYBRID
2003
Springer
15 years 10 months ago
A Hoare Logic for Single-Input Single-Output Continuous-Time Control Systems
This paper presents a Hoare-style logic for reasoning about the frequency response of control systems in the continuous-time domain. Two properties, the gain (amplitude) and phase ...
Richard J. Boulton, Ruth Hardy, Ursula Martin
142
Voted
LCTRTS
2001
Springer
15 years 9 months ago
Embedded Control Systems Development with Giotto
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...
AEI
2006
103views more  AEI 2006»
15 years 4 months ago
Emergent short-term forecasting through ant colony engineering in coordination and control systems
This manuscript presents a design for the emergent generation of short-term forecasts in multi-agent coordination and control systems. Food foraging behavior in ant colonies const...
Paul Valckenaers, Karuna Hadeli, Bart Saint Germai...
IJNSEC
2006
112views more  IJNSEC 2006»
15 years 4 months ago
An Access Control System with Time-constraint Using Support Vector Machines
Access control is an important issue in information security. It is a necessary mechanism for protecting data in a computer system. In this paper, we apply support vector machines...
Chin-Chen Chang, Iuon-Chang Lin, Chia-Te Liao
CDC
2010
IEEE
131views Control Systems» more  CDC 2010»
14 years 12 months ago
Adaptive backstepping controller for uncertain systems with unknown input time-delay. Application to SI engines
In this paper, we study the equilibrium regulation of potentially unstable linear systems with an unknown input time-delay and unknown parameters in the plant. We extend recent res...
Delphine Bresch-Pietri, Jonathan Chauvin, Nicolas ...