Sciweavers

575 search results - page 10 / 115
» Controller Synthesis for Probabilistic Systems
Sort
View
HYBRID
2004
Springer
15 years 2 months ago
Synthesis for Idle Speed Control of an Automotive Engine
Abstract. The problem of maintaining the crankshaft speed of an automotive engine within a given set interval (idle speed control), is formalized as a constrained control problem u...
Andrea Balluchi, Federico Di Natale, Alberto L. Sa...
CDC
2010
IEEE
14 years 4 months ago
Synthesis using approximately bisimilar abstractions: time-optimal control problems
s using Approximately Bisimilar Abstractions: Time-Optimal Control Problems Antoine Girard In this paper, we present a hierarchical approach to time-optimal control using approxima...
Antoine Girard
FM
1999
Springer
121views Formal Methods» more  FM 1999»
15 years 1 months ago
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
Hervé Marchand, Mazen Samaan
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
15 years 2 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
AUTOMATICA
2007
129views more  AUTOMATICA 2007»
14 years 9 months ago
Robust control of polytopic systems by convex optimization
— Robust control synthesis of linear time-invariant SISO polytopic systems is investigated using the polynomial approach. A convex set of all stabilizing controllers for a polyto...
Alireza Karimi, Hamid Khatibi, Roland Longchamp