✦ LIBER ✦

Automatic verification of sequential control systems using temporal logic

✍ Scribed by Il Moon; Gary J. Powers; Jerry R. Burch; Edmund M. Clarke

Publisher: American Institute of Chemical Engineers
Year: 1992
Tongue: English
Weight: 806 KB
Volume: 38
Category: Article
ISSN: 0001-1541
DOI: 10.1002/aic.690380107

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic generation control of multi-ar

Automatic generation control of multi-area power system using fuzzy logic controller

✍ P. Subbaraj; K. Manickavasagam 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 397 KB

Experimental verification of building co

Experimental verification of building control using active bracing system

✍ Loh, Chin-Hsiung; Lin, Pay-Yang; Chung, Nan-Hau 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 976 KB

The objective of this paper is to examine the e!ectiveness of some control algorithms which will be implemented through experimental veri"cation of a seismic-excited full-scale building. A full-scale 3-storey steel building with active bracing control system was tested at a three-dimensional shaking

The interior coil inference method with

The interior coil inference method with the logic parts attaching algorithm for automatic regeneration of sequential control programs

✍ Kazuhisa Ikeda; Yoshitomo Ikkai; Norihisa Komoda 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 157 KB

Fuzzy logic control of bridge structures

Fuzzy logic control of bridge structures using intelligent semi-active seismic isolation systems

✍ Symans, Michael D.; Kelly, Steven W. 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 483 KB 👁 3 views

Passive supplemental damping in a seismically isolated structure provides the necessary energy dissipation to limit the isolation system displacement. However, damper forces can become quite large as the passive damping level is increased, resulting in the requirement to transfer large forces at the

Experimental verification of a wireless

Experimental verification of a wireless sensing and control system for structural control using MR dampers

✍ Chin-Hsiung Loh; Jerome P. Lynch; Kung-Chun Lu; Yang Wang; Chia-Ming Chang; Pei- 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 918 KB

Power system control method using custom

Power system control method using customers' energy storage systems and the verification of proposed method

✍ Misao Kimura; Hideki Hayashi; Toshiyuki Kajihara; Masakazu Kato; Katsuhiko Kouch 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 501 KB

## Abstract Advanced energy storage systems have been widely applied to industries and are being installed at large buildings and factories to realize efficient energy usage. This paper presents a control method involving load frequency control and distribution network control (loss reduction contr