\documentclass[10pt]{article}

\usepackage{fullpage}
\usepackage{setspace}
\usepackage{parskip}
\usepackage{titlesec}
\usepackage[section]{placeins}
\usepackage{xcolor}
\usepackage{breakcites}
\usepackage{lineno}
\usepackage{hyphenat}





\PassOptionsToPackage{hyphens}{url}
\usepackage[colorlinks = true,
            linkcolor = blue,
            urlcolor  = blue,
            citecolor = blue,
            anchorcolor = blue]{hyperref}
\usepackage{etoolbox}
\makeatletter
\patchcmd\@combinedblfloats{\box\@outputbox}{\unvbox\@outputbox}{}{%
  \errmessage{\noexpand\@combinedblfloats could not be patched}%
}%
\makeatother


\usepackage{natbib}




\renewenvironment{abstract}
  {{\bfseries\noindent{\abstractname}\par\nobreak}\footnotesize}
  {\bigskip}

\titlespacing{\section}{0pt}{*3}{*1}
\titlespacing{\subsection}{0pt}{*2}{*0.5}
\titlespacing{\subsubsection}{0pt}{*1.5}{0pt}


\usepackage{authblk}


\usepackage{graphicx}
\usepackage[space]{grffile}
\usepackage{latexsym}
\usepackage{textcomp}
\usepackage{longtable}
\usepackage{tabulary}
\usepackage{booktabs,array,multirow}
\usepackage{amsfonts,amsmath,amssymb}
\providecommand\citet{\cite}
\providecommand\citep{\cite}
\providecommand\citealt{\cite}
% You can conditionalize code for latexml or normal latex using this.
\newif\iflatexml\latexmlfalse
\providecommand{\tightlist}{\setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}%

\AtBeginDocument{\DeclareGraphicsExtensions{.pdf,.PDF,.eps,.EPS,.png,.PNG,.tif,.TIF,.jpg,.JPG,.jpeg,.JPEG}}

\usepackage[utf8]{inputenc}
\usepackage[ngerman,english]{babel}



\usepackage{float}








\begin{document}

\title{Design Space Description through Adaptive Sampling and Symbolic
Computation}



\author[1]{Fei Zhao}%
\author[1]{Ignacio Grossmann}%
\author[2]{Salvador García Muñoz}%
\author[2]{Stephen Stamatis}%
\affil[1]{Carnegie Mellon University}%
\affil[2]{Eli Lilly and Company}%


\vspace{-1em}



  
  \date{June 17, 2024}


\begingroup
\let\center\flushleft
\let\endcenter\endflushleft
\maketitle
\endgroup





\selectlanguage{english}
\begin{abstract}
In this paper, we propose a novel solution strategy to explicitly
describe the design space in which no recourse is considered for the
realization of the parameters. First, to smooth the boundary of the
design space, the Kreisselmeier-Steinhauser (KS) function is applied to
aggregate all inequality constraints, and project them into the design
space. Next, for creating a surrogate polynomial model of the KS
function, we focus on finding the sampling points on the boundary of KS
space. After testing the feasibility of Latin hypercube sampling points,
two methods are presented to efficiently extend the set of boundary
points. Finally, a symbolic computation method, cylindrical algebraic
decomposition, is applied to transform the surrogate model into a series
of explicit and triangular subsystems that can be further converted to
describe the KS space. Two case studies are considered to show the
efficiency of the proposed algorithm.%
\end{abstract}%



\sloppy


\textbf{Hosted file}

\verb`Design Space Description through Adaptive Sampling and Symbolic Computation_0623_clear.docx`  available at \url{https://authorea.com/users/435994/articles/538641-design-space-description-through-adaptive-sampling-and-symbolic-computation}

\selectlanguage{english}
\FloatBarrier
\end{document}

