Sciweavers

2797 search results - page 114 / 560
» Control Structures
Sort
View
107
Voted
CCE
2007
15 years 2 months ago
A systematic approach to plant-wide control based on thermodynamics
In this work, a systematic approach to plant-wide control design is proposed. The method combines ingredients from process networks, thermodynamics and systems theory to derive ro...
Luis T. Antelo, Irene Otero-Muras, Julio R. Banga,...
SCP
1998
112views more  SCP 1998»
15 years 2 months ago
Structured Gamma
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...
Pascal Fradet, Daniel Le Métayer
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
15 years 11 days ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...
99
Voted
CDC
2008
IEEE
15 years 9 months ago
A Partial order approach to decentralized control
— In this paper we employ the theory of partially ordered sets to model and analyze a class of decentralized control problems. We show that posets provide a natural way of modeli...
Parikshit Shah, Pablo A. Parrilo
102
Voted
ETFA
2005
IEEE
15 years 8 months ago
Quantized optimal control of discrete-time systems
In this paper we consider a quantized discrete-time linear quadratic regulator (DLQR) problem, namely a DLQR problem where the input u may only take values in a given finite set ...
Daniele Corona, Alessandro Giua, Carla Seatzu