7778 search results - page 374 / 1556 » Designing Controllers for Reachability |
147
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
165
click to vote
FLAIRS
2007
15 years 7 months ago
2007
We describe UCFTAC, a trading agent based on control based principles, which has participated with success in 2006 Supply Chain Management Trading Agent Competition. The UCFTAC ap...
134
click to vote
AUTOMATICA
2008
15 years 5 months ago
2008
Data-based control design methods most often consist of iterative adjustment of the controller's parameters towards the parameter values which minimize an H2 performance crit...
154
Voted
ENTCS
2008
15 years 5 months ago
2008
The ability to enforce usage policies attached to data in a fine grained manner requires that the system be able to trace and control the flow of information within it. This paper...
128
click to vote
SCL
2008
15 years 4 months ago
2008
This paper proposes a methodology to compute quadratic performance bounds when the closed loop poles of a discrete-time multivariable control loop are confined to a disk, centred ...