Sciweavers

1297 search results - page 36 / 260
» Control of systems integrating logic, dynamics, and constrai...
Sort
View
COMPSAC
1996
IEEE
15 years 5 months ago
A Logic Database System with Extended Functionality
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
Sang-goo Lee, Dong-Hoon Choi, Sang-Ho Lee
DFG
2004
Springer
15 years 5 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 6 months ago
Congestion control algorithms from optimal control perspective
— This paper is concerned with understanding the connection between the existing Internet congestion control algorithms and the optimal control theory. The available resource all...
Javad Lavaei, John C. Doyle, Steven H. Low
EUSFLAT
2003
108views Fuzzy Logic» more  EUSFLAT 2003»
15 years 2 months ago
Soft computing and control of district heating system
The article deals with the possible methodology of processing of data and information for the search of prediction of heat supply daily diagram (HSDD). The methodology includes te...
Petr Dostál, Bronislav Chramcov, Jaroslav B...
FORMATS
2006
Springer
15 years 5 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi