Sciweavers

1146 search results - page 44 / 230
» Periodically Controlled Hybrid Systems
Sort
View
HYBRID
2010
Springer
14 years 2 months ago
Stabilization of planar switched linear systems using polar coordinates
Analysis of stability and stabilizability of switched linear systems is a well-researched topic. This article pursues a polar coordinate approach which offers a convenient framew...
Andrew B. Godbehere, Shankar S. Sastry
AUTOMATICA
2007
88views more  AUTOMATICA 2007»
13 years 7 months ago
Design of hybrid controller for dynamic positioning from calm to extreme sea conditions
High level control of dynamic positioning systems on marine vessels using hybrid controller are developed to extend the operational weather window for marine operations to harsh e...
Trong Dong Nguyen, Asgeir J. Sørensen, Ser ...
RTSS
2008
IEEE
14 years 2 months ago
Control-Driven Tasks: Modeling and Analysis
The standard design of control systems is based on the periodic sampling. Every period the data is read from the input, the control law is computed, and the output is written to t...
Manel Velasco, Pau Martí, Enrico Bini
SSS
2010
Springer
118views Control Systems» more  SSS 2010»
13 years 6 months ago
Modeling and Analyzing Periodic Distributed Computations
The earlier work on predicate detection has assumed that the given computation is finite. Detecting violation of a liveness predicate requires that the predicate be evaluated on a...
Anurag Agarwal, Vijay K. Garg, Vinit A. Ogale
CDC
2010
IEEE
141views Control Systems» more  CDC 2010»
13 years 2 months ago
Using computer games for hybrid systems controller synthesis
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
A. Agung Julius, Sina Afshari