%%% ====================================================================
%%%  @LaTeX-style-file{
%%%     author          = "Silvano Balemi",
%%%     version         = "1.1",
%%%     date            = "13-MAY-1993",
%%%     filename        = "kluwer.sty",
%%%     address         = "Automatic Control Laboratory
%%%                        Swiss Federal Institute of Technology (ETH)
%%%                        8092 Zurich, Switzerland",
%%%     telephone       = "+41 (1) 256.55.35",
%%%     FAX             = "+41 (1) 262.43.62",
%%%     email           = "balemi@aut.ee.ethz.ch",
%%%     keywords        = "LaTeX, kluwer proceedings, Camera ready,
%%%                        publisher style",
%%%     supported       = "yes. Please send comments via E-mail",
%%%     mainserver      = "ifa.ethz.ch"
%%%     docstring       = "This is a LaTeX style file for camera ready
%%%                        articles according to instructions  of the 
%%%                        Journal of Discrete Event Dynamic Systems
%%%                        (kluwer).
%%%                        The default font size is 10 points (kluwer10.sty)
%%%                        Usage:
%%%                           \documentstyle{kluwer}
%%%                           \author{} 
%%%                           \title{} 
%%%                           \abstract{} 
%%%                           \keywords{} 
%%%                           \maketitle
%%%                        See also kluwer.bst, harvard.sty, kluwer10.sty",
%%%  }
%%% ====================================================================
\typeout{Document Style `kluwer' <13-MAY-1993>.}


\def\title#1{\gdef\@title{#1}}
\def\abstract#1{\gdef\@abstract{#1}}
\def\keywords#1{\gdef\@keywords{#1}}

\def\@ptsize{0} \@namedef{ds@11pt}{\def\@ptsize{1}}
\@namedef{ds@12pt}{\def\@ptsize{2}} 
\def\ds@twoside{\@twosidetrue \@mparswitchtrue} \def\ds@draft{\overfullrule
5pt} 
\@options
\input kluwer1\@ptsize.sty\relax


\ds@twoside                     % Left- and right heads different

\parindent 3mm
\textheight 190mm
\textwidth 126mm
\oddsidemargin 15mm
\evensidemargin 15mm
\newdimen\headwidth
\newdimen\headrulewidth
\headrulewidth 0.4pt
\headwidth \textwidth

\def\head#1{\def\@head{#1}}
\head{\hfill Discrete Event Dynamic Systems: Theory and Applications}

\def\ps@DEDS{
 \def\@evenhead{}
 \def\@oddhead{\hfil\@head\hfil}
 \def\@evenfoot{\thepage\hfill}
 \def\@oddfoot{}
}

\def\labelenumi{\theenumi.} 
\def\theenumi{\arabic{enumi}} 
\def\labelenumii{(\theenumii)}
\def\theenumii{\alph{enumii}}
\def\p@enumii{\theenumi}
\def\labelenumiii{\theenumiii.}
\def\theenumiii{\roman{enumiii}}
\def\p@enumiii{\theenumi(\theenumii)}
\def\labelenumiv{\theenumiv.}
\def\theenumiv{\Alph{enumiv}} 
\def\p@enumiv{\p@enumiii\theenumiii}

\def\labelitemi{$\bullet$}
\def\labelitemii{\bf --}
\def\labelitemiii{$\ast$}
\def\labelitemiv{$\cdot$}

\def\verse{\let\\=\@centercr 
 \list{}{\itemsep\z@ \itemindent -1.5em\listparindent \itemindent 
 \rightmargin\leftmargin\advance\leftmargin 1.5em}\item[]}
\let\endverse\endlist
\def\quotation{\list{}{\listparindent 1.5em
 \itemindent\listparindent
 \rightmargin\leftmargin \parsep 0pt plus 1pt}\item[]}
\let\endquotation=\endlist
\def\quote{\list{}{\rightmargin\leftmargin}\item[]}
\let\endquote=\endlist

\def\descriptionlabel#1{\hspace\labelsep \bf #1}
\def\description{\list{}{\labelwidth\z@ \itemindent-\leftmargin
 \let\makelabel\descriptionlabel}}
\let\enddescription\endlist


\def\theequation{\arabic{equation}}


\def\titlepage{\@restonecolfalse\if@twocolumn\@restonecoltrue\onecolumn
 \else \newpage \fi \thispagestyle{empty}\c@page\z@}
\def\endtitlepage{\if@restonecol\twocolumn \else \newpage \fi}

\arraycolsep 5pt \tabcolsep 6pt \arrayrulewidth .4pt \doublerulesep 2pt 
\tabbingsep \labelsep 

\skip\@mpfootins = \skip\footins
\fboxsep = 3pt \fboxrule = .4pt 

\newcounter{part}
\newcounter {section}
\newcounter {subsection}[section]
\newcounter {subsubsection}[subsection]
\newcounter {paragraph}[subsubsection]
\newcounter {subparagraph}[paragraph]

\def\section{\@startsection {section}{1}{\z@}{-3.5ex plus -1ex minus
 -.2ex}{2.3ex plus .2ex}{\normalsize\bf}{ }}
\def\subsection{\@startsection{subsection}{2}{\z@}{-3.25ex plus -1ex minus
 -.2ex}{1.5ex plus .2ex}{\normalsize\it}{}}
\def\subsubsection{\@startsection{subsubsection}{3}{\z@}{-3.25ex plus
 -1ex minus -.2ex}{0ex plus 0ex}{\normalsize\it}{.\mbox{~~}}}

% Redefinition of startsection to allow an additional argument to
% allow for instance ". " after the subsubsection name.
\def\@startsection#1#2#3#4#5#6#7{\if@noskipsec \leavevmode \fi
   \par \@tempskipa #4\relax
   \@afterindenttrue
   \ifdim \@tempskipa <\z@ \@tempskipa -\@tempskipa \@afterindentfalse\fi
   \if@nobreak \everypar{}\else
     \addpenalty{\@secpenalty}\addvspace{\@tempskipa}\fi
     \vskip -\parskip\@ifstar
     {\@ssect{#3}{#4}{#5}{#6}{#7}}
     {\@dblarg{\@sect{#1}{#2}{#3}{#4}{#5}{#6}{}{#7}}}}

\def\@sect#1#2#3#4#5#6#7[#8]#9{\ifnum #2>\c@secnumdepth
     \def\@svsec{}\else
     \refstepcounter{#1}\edef
     \@svsec{\csname the#1\endcsname\ifnum #2<3.\fi\hskip 1em }\fi
%     \ifnum #2<3.\fi  puts "." at end of the section and subsection number
     \@tempskipa #5\relax
      \ifdim \@tempskipa>\z@
        \begingroup #6\relax
          \@hangfrom{\hskip #3\relax\@svsec}{\interlinepenalty \@M #9#7\par}%
        \endgroup
       \csname #1mark\endcsname{#8}\addcontentsline
         {toc}{#1}{\ifnum #2>\c@secnumdepth \else
                      \protect\numberline{\csname the#1\endcsname}\fi
                    #8}\else
        \def\@svsechd{#6\hskip #3\@svsec #9#7\csname #1mark\endcsname
                      {#8}\addcontentsline
                           {toc}{#1}{\ifnum #2>\c@secnumdepth \else
                             \protect\numberline{\csname the#1\endcsname}\fi
                       #8}}\fi
     \@xsect{#5}}

\def\@ssect#1#2#3#4#5#6{\@tempskipa #3\relax
   \ifdim \@tempskipa>\z@
     \begingroup #4 \@hangfrom{\hskip #1}{\interlinepenalty \@M
 #6 #5\par}\endgroup
   \else \def\@svsechd{#4\hskip #1\relax #6 #5}\fi
    \@xsect{#3}}


\def\thepart{\Roman{part}} 
\def\thesection {\arabic{section}}
\def\thesubsection {\thesection.\arabic{subsection}}
\def\thesubsubsection {\thesubsection.\arabic{subsubsection}}
\def\theparagraph {\thesubsubsection.\arabic{paragraph}}
\def\thesubparagraph {\theparagraph.\arabic{subparagraph}}

\def\@pnumwidth{1.55em}
\def\@tocrmarg {2.55em}
\def\@dotsep{4.5}
\setcounter{tocdepth}{3}

\def\tableofcontents{\section*{Contents\@mkboth{Contents}{Contents}}
 \@starttoc{toc}}
\def\l@part#1#2{\addpenalty{\@secpenalty}
 \addvspace{2.25em plus 1pt} \begingroup
 \@tempdima 3em \parindent \z@ \rightskip \@pnumwidth \parfillskip
-\@pnumwidth 
 {\large \bf \leavevmode #1\hfil \hbox to\@pnumwidth{\hss #2}}\par
 \nobreak \endgroup}
\def\l@section#1#2{\addpenalty{\@secpenalty} \addvspace{1.0em plus 1pt}
\@tempdima 1.5em \begingroup
 \parindent \z@ \rightskip \@pnumwidth 
 \parfillskip -\@pnumwidth 
 \bf \leavevmode \advance\leftskip\@tempdima \hskip -\leftskip #1\nobreak\hfil
\nobreak\hbox to\@pnumwidth{\hss #2}\par
 \endgroup}
 
\def\l@subsection{\@dottedtocline{2}{1.5em}{2.3em}}
\def\l@subsubsection{\@dottedtocline{3}{3.8em}{3.2em}}
\def\l@paragraph{\@dottedtocline{4}{7.0em}{4.1em}}
\def\l@subparagraph{\@dottedtocline{5}{10em}{5em}}
\def\listoffigures{\section*{List of Figures\@mkboth
 {LIST OF FIGURES}{LIST OF FIGURES}}\@starttoc{lof}}
\def\l@figure{\@dottedtocline{1}{1.5em}{2.3em}}
\def\listoftables{\section*{List of Tables\@mkboth
 {LIST OF TABLES}{LIST OF TABLES}}\@starttoc{lot}}
\let\l@table\l@figure


\newif\if@restonecol
\def\theindex{\@restonecoltrue\if@twocolumn\@restonecolfalse\fi
\columnseprule \z@
\columnsep 35pt\twocolumn[\section*{Index}]
 \@mkboth{INDEX}{INDEX}\thispagestyle{plain}\parindent\z@
 \parskip\z@ plus .3pt\relax\let\item\@idxitem}
\def\@idxitem{\par\hangindent 40pt}
\def\subitem{\par\hangindent 40pt \hspace*{20pt}}
\def\subsubitem{\par\hangindent 40pt \hspace*{30pt}}
\def\endtheindex{\if@restonecol\onecolumn\else\clearpage\fi}
\def\indexspace{\par \vskip 10pt plus 5pt minus 3pt\relax}

\def\footnoterule{\kern-3\p@ 
 \hrule width .4\columnwidth 
 \kern 2.6\p@} 

\long\def\@makefntext#1{\parindent 1em\noindent 
 \hbox to 1.8em{\hss$^{\@thefnmark}$}#1}


\setcounter{topnumber}{2}
\def\topfraction{.7}
\setcounter{bottomnumber}{1}
\def\bottomfraction{.3}
\setcounter{totalnumber}{3}
\def\textfraction{.2}
\def\floatpagefraction{.5}
\setcounter{dbltopnumber}{2}
\def\dbltopfraction{.7}
\def\dblfloatpagefraction{.5}

\long\def\@makecaption#1#2{{\small
 \vskip 10pt 
 \setbox\@tempboxa\hbox{{\it #1.} #2}
 \ifdim \wd\@tempboxa >\hsize {\it #1.} #2\par \else \hbox
to\hsize{\box\@tempboxa\hfil} 
 \fi}}


\newcounter{figure}
\def\thefigure{\@arabic\c@figure}
\def\fps@figure{tbp}
\def\ftype@figure{1}
\def\ext@figure{lof}
\def\fnum@figure{Figure \thefigure}
\def\figure{\@float{figure}}
\let\endfigure\end@float
\@namedef{figure*}{\@dblfloat{figure}}
\@namedef{endfigure*}{\end@dblfloat}
\newcounter{table}
\def\thetable{\@arabic\c@table}
\def\fps@table{tbp}
\def\ftype@table{2}
\def\ext@table{lot}
\def\fnum@table{Table \thetable}
\def\table{\@float{table}}
\let\endtable\end@float
\@namedef{table*}{\@dblfloat{table}}
\@namedef{endtable*}{\end@dblfloat}


\def\maketitle{
\par
 \begingroup
 \def\thefootnote{\fnsymbol{footnote}}
 \def\@makefnmark{\hbox 
 to 0pt{$^{\@thefnmark}$\hss}} 
 \if@twocolumn 
 \twocolumn[\@maketitle] 
 \else \newpage
 \global\@topnum\z@ \@maketitle \fi
 \thispagestyle{DEDS}\@thanks
 \endgroup
 \setcounter{footnote}{0}
 \let\maketitle\relax
 \let\@maketitle\relax
 \gdef\@thanks{}
%\gdef\@author{}
%\gdef\@title{}
\gdef\@abstract{}
\gdef\@keywords{}
\let\thanks\relax}

\def\@maketitle{\newpage
 \null
 \vskip 2em 
\noindent
 {\LARGE  \@title \par} \vskip 2.5em { \lineskip .5em
\noindent
{\small \@author }
\par} 
 \vskip 1em \noindent {\small {\bf {Abstract}. }\@abstract\par}
 \vskip 1em \noindent {\small {\bf {Key Words}: }\@keywords\par}
 \par
 \vskip 2.5em} 

\mark{{}{}} 

\if@twoside \def\ps@headings{\let\@mkboth\markboth
\def\@oddfoot{}\def\@evenfoot{}\def\@evenhead{\rm \thepage\hfil \sl
\leftmark}\def\@oddhead{\hbox{}\sl \rightmark \hfil
\rm\thepage}\def\sectionmark##1{\markboth {\uppercase{\ifnum \c@secnumdepth
>\z@
 \thesection\hskip 1em\relax \fi ##1}}{}}\def\subsectionmark##1{\markright
{\ifnum \c@secnumdepth >\@ne
 \thesubsection\hskip 1em\relax \fi ##1}}}
\else \def\ps@headings{\let\@mkboth\markboth
\def\@oddfoot{}\def\@evenfoot{}\def\@oddhead{\hbox {}\sl \rightmark \hfil
\rm\thepage}\def\sectionmark##1{\markright {\uppercase{\ifnum \c@secnumdepth
>\z@
 \thesection\hskip 1em\relax \fi ##1}}}}
\fi
\def\ps@myheadings{\let\@mkboth\@gobbletwo
\def\@oddhead{\hbox{}\sl\rightmark \hfil
\rm\thepage}\def\@oddfoot{}\def\@evenhead{\rm \thepage\hfil\sl\leftmark\hbox
{}}\def\@evenfoot{}\def\sectionmark##1{}\def\subsectionmark##1{}}

\def\footnoterule{\kern-3\p@  \hrule width .0\columnwidth  \kern 2.6\p@} 

%  Definition for the running heads. The standard command
%  \markboth{author's name}{title of the paper}
%  can be used to manually set the headers
\def\rightmark{{\small\uppercase{\@title}}}
\def\leftmark{{\small\uppercase{\@author}}}
\def\@evenhead{\leftmark}
\def\@oddhead{\rightmark}
\def\markboth#1#2{
\def\leftmark{{\small\uppercase{#1}}}\def\rightmark{{\small\uppercase{#2}}}}
\ps@myheadings
%\ps@plain
\pagenumbering{arabic} \onecolumn \if@twoside\else\raggedbottom\fi 

% defines the command for putting the header
% footernote{TEXT} is the same as markboth{TEXT}{TEXT}. Here for
% compatibility with other style files.
\def\footernote#1{\markboth{#1}{#1}}


\def\today{\ifcase\month\or
 January\or February\or March\or April\or May\or June\or
 July\or August\or September\or October\or November\or December\fi
 \space\number\day, \number\year}


\def\thebibliography#1{\section*{References\@mkboth
 {References}{References}}
\small
\list
 {[\arabic{enumi}]}{\labelwidth 0mm \leftmargin\labelwidth
 \advance\leftmargin 3mm
 \itemindent -1mm
 \itemsep 0pt
 \parsep 0pt
 \usecounter{enumi}}
 \def\newblock{\hskip .11em plus .33em minus .07em}
 \sloppy\clubpenalty4000\widowpenalty4000
 \sfcode`\.=1000\relax}
\let\endthebibliography=\endlist

\input{fleqn.sty}
%left term of eqnarray is flushed left
\let\@eqnsel = \hfil
\def\eqnarray{\stepcounter{equation}\let\@currentlabel=\theequation
\global\@eqnswtrue
\global\@eqcnt\z@\tabskip\@centering\let\\=\@eqncr
$$\halign to \displaywidth\bgroup\hskip\@centering
  $\displaystyle\tabskip\z@{##}$\hfil&\global\@eqcnt\@ne 
  \hskip 2\arraycolsep \hfil${##}$\hfil
  &\global\@eqcnt\tw@ \hskip 2\arraycolsep $\displaystyle\tabskip\z@{##}$\hfil 
   \tabskip\@centering&\llap{##}\tabskip\z@\cr}

\def\eqnarray{\stepcounter{equation}\let\@currentlabel=\theequation
\global\@eqnswtrue
\global\@eqcnt\z@\tabskip\mathindent\let\\=\@eqncr
\abovedisplayskip\topsep\ifvmode\advance\abovedisplayskip\partopsep\fi
\belowdisplayskip\abovedisplayskip
\belowdisplayshortskip\abovedisplayskip
\abovedisplayshortskip\abovedisplayskip
$$\halign to
\linewidth\bgroup\hskip\@centering$\displaystyle\tabskip\z@
 {##}$\hfill&\global\@eqcnt\@ne \hskip 2\arraycolsep \hfil${##}$\hfil
 &\global\@eqcnt\tw@ \hskip 2\arraycolsep $\displaystyle{##}$\hfil 
 \tabskip\@centering&\llap{##}\tabskip\z@\cr}
\def\endeqnarray{\@@eqncr\egroup
 \global\advance\c@equation\m@ne$$\global\@ignoretrue }

\mathindent = 8mm

% labels flushed left
\def\@mklab#1{#1\hfil}


\def\QED{~\rule[-1pt]{6pt}{6pt}\par\medskip}
\newenvironment{proof}{\noindent{\it Proof.\ }}{ \hspace*{\fill} \QED}
\def\@begintheorem#1#2{\rm \trivlist 
   \item[\hskip \labelsep{\sc #1\ #2.}]}
\def\@opargbegintheorem#1#2#3{\rm \trivlist
      \item[\hskip \labelsep{\sc #1\ #2}] {\rm(#3). }}

\newtheorem{theorem}{Theorem}
\newtheorem{corollary}{Corollary}
\newtheorem{lemma}{Lemma}
\newtheorem{proposition}{Proposition}
\newtheorem{conjecture}{Conjecture}
\newtheorem{remark}{Remark}
\newtheorem{definition}{Definition}


% Definitions for acepting bibliography with bibliography style file
% kluwer.bst
% These lines are a mofidied version of harvard.sty,
% a file from Peter Williams' <peterw@archsci.arch.su.OZ.AU>
%% Harvard family of bibliographic styles

\def\@hiteml[#1]#2#3#4{\item[]\if@filesw%
      { \def\protect##1{\string ##1\space}\immediate%
\write\@auxout{\string\harvardcite{#4}{#1}{#1}{#3}}}\fi%
\protect\hspace*{-\labelwidth}\protect\hspace*{-\labelsep}\ignorespaces}

\def\@hitem#1#2#3{\item[]\if@filesw%
      { \def\protect##1{\string ##1\space}\immediate%
\write\@auxout{\string\harvardcite{#3}{#1}{#1}{#2}}}\fi%
\protect\hspace*{-\labelwidth}\protect\hspace*{-\labelsep}\ignorespaces}

\def\harvarditem{\@ifnextchar [{\@hiteml}{\@hitem}}

\def\harvardcite#1#2#3#4{
  \global\@namedef{bhf@#1}{#2}
  \global\@namedef{bha@#1}{#3}
  \global\@namedef{bhy@#1}{#4}
  \global\@namedef{b@#1}{\csname bhf@#1\endcsname}
}

\def\cite{\@ifnextchar [{\@tempswatrue\@citex}{\@tempswafalse\@citex[]}}
\def\citeasnoun{\@ifnextchar [{\@tempswatrue\@citexasnoun}
                           {\@tempswafalse\@citexasnoun[]}
}

\def\@enamedef#1{\expandafter\edef\csname #1\endcsname}

\def\@citex[#1]#2{\if@filesw\immediate\write\@auxout{\string\citation{#2}}\fi
  \def\@citea{}\@cite{\@for\@citeb:=#2\do
    {\@citea\def\@citea{\@hisep\penalty\@m\ }\@ifundefined
       {b@\@citeb}{{\bf ?}\@warning
       {Citation `\@citeb' on page \thepage \space undefined}}%
{{\csname b@\@citeb\endcsname\@hysep\csname bhy@\@citeb\endcsname}%
\global\@enamedef{b@\@citeb}{\csname bha@\@citeb\endcsname}}%
}}{#1}}

\def\@citexasnoun[#1]#2{%
\if@filesw\immediate\write\@auxout{\string\citation{#2}}\fi%
\@citeasnoun{{\@ifundefined%
{b@#2}%
{{\bf ?}\@warning{Citation `#2' on page \thepage \space undefined}}%
{{\csname b@#2\endcsname\ [\csname bhy@#2\endcsname}%
\global\@namedef{b@#2}{\csname bha@#2\endcsname}}%
}}{#1}}

\gdef\hysep@agsm{\ }\gdef\hisep@agsm{,}%
\gdef\hysep@kluwer{, }\gdef\hisep@kluwer{;}%
\let\@hysep\hysep@agsm \let\@hisep\hisep@agsm
\def\citationstyle#1{%
\global\@namedef{@hysep}{\csname hysep@#1\endcsname}%
\global\@namedef{@hisep}{\csname hisep@#1\endcsname}}

%DEFAULT DEFINITIONS
\def\@cite#1#2{[{#1\if@tempswa , #2\fi}]}
\def\@citeasnoun#1#2{{#1\if@tempswa , #2\fi]}}

% CHANGE \end{document} - to handle double definitions
\def\enddocument{\@checkend{document}\clearpage\begingroup
\if@filesw \immediate\closeout\@mainaux
\def\global\@namedef##1##2{}\def\newlabel{\@testdef r}%
\def\bibcite{\@testdef b}%
\def\harvardcite{\@testbibh}\@tempswafalse \makeatletter\input \jobname.aux
\if@tempswa \@warning{Label(s) may have changed.  Rerun to get
cross-references right}\fi\fi\endgroup\deadcycles\z@\@@end}

\def\@testbibh #1#2#3{
  \def\@tempa{#2}\expandafter
  \ifx \csname bhf@#1\endcsname \@tempa
     \def\@tempa{#3}\expandafter
     \ifx \csname bha@#1\endcsname \@tempa
     \else \@tempswatrue
     \fi
  \else
     \@tempswatrue
  \fi
}