Process Systems Engineering Laboratory
PSEL@MIT
Home
People
Software
Courses
Publications
Reports
Positions
Funding
Home
List
Filter
Publications
Export 1 results:
BibTex
Author
Title
Type
Year
Filters:
First Letter Of Title
is
F
[Clear All Filters]
A
B
C
D
E
[F]
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
[
Show ALL
]
F
Park, T., and P. I. Barton,
"
Formal verification of sequence controllers
",
Computers & Chemical Engineering
, vol. 23, no. 11-12, pp. 1783 - 1793, 2000.
Abstract
BibTex
Google Scholar
Barton Lab
Home
People
Software
Courses
Publications
Reports
Positions
Funding
Recent Publications
Model-based design of a plant-wide control strategy for a continuous pharmaceutical plant
Interval bounds on the solutions of semi-explicit index-one DAEs. Part 2: computation
Global optimization of bounded factorable functions with discontinuities
The cluster problem revisited
More...