@incollection{AltherrDoerigEdereretal.2017,
  author    = {Altherr, Lena and D{\"o}rig, Bastian and Ederer, Thorsten and Pelz, Peter Franz and Pfetsch, Marc and Wolf, Jan},
  title     = {A mixed-integer nonlinear program for the design of gearboxes},
  series = {Operations Research Proceedings 2016},
  booktitle = {Operations Research Proceedings 2016},
  publisher = {Springer},
  address   = {Cham},
  isbn      = {978-3-319-55701-4},
  doi       = {10.1007/978-3-319-55702-1_31},
  pages     = {227 -- 233},
  year      = {2017},
  abstract  = {Gearboxes are mechanical transmission systems that provide speed and torque conversions from a rotating power source. Being a central element of the drive train, they are relevant for the efficiency and durability of motor vehicles. In this work, we present a new approach for gearbox design: Modeling the design problem as a mixed-integer nonlinear program (MINLP) allows us to create gearbox designs from scratch for arbitrary requirements and—given enough time—to compute provably globally optimal designs for a given objective. We show how different degrees of freedom influence the runtime and present an exemplary solution.},
  language  = {en}
}
@incollection{NiemuellerZwillingLakemeyeretal.2017,
  author    = {Niemueller, Tim and Zwilling, Frederik and Lakemeyer, Gerhard and L{\"o}bach, Matthias and Reuter, Sebastian and Jeschke, Sabina and Ferrein, Alexander},
  title     = {Cyber-Physical System Intelligence},
  series = {Industrial Internet of Things},
  booktitle = {Industrial Internet of Things},
  publisher = {Springer},
  address   = {Cham},
  isbn      = {978-3-319-42559-7},
  doi       = {10.1007/978-3-319-42559-7_17},
  pages     = {447 -- 472},
  year      = {2017},
  abstract  = {Cyber-physical systems are ever more common in manufacturing industries. Increasing their autonomy has been declared an explicit goal, for example, as part of the Industry 4.0 vision. To achieve this system intelligence, principled and software-driven methods are required to analyze sensing data, make goal-directed decisions, and eventually execute and monitor chosen tasks. In this chapter, we present a number of knowledge-based approaches to these problems and case studies with in-depth evaluation results of several different implementations for groups of autonomous mobile robots performing in-house logistics in a smart factory. We focus on knowledge-based systems because besides providing expressive languages and capable reasoning techniques, they also allow for explaining how a particular sequence of actions came about, for example, in the case of a failure.},
  language  = {en}
}