• Home
  • Über uns
  • Publizieren
  • Katalog
  • Newsletter
  • Hilfe
  • Account
  • Kontakt / Impressum
Dissertation - Publikationsreihe - Tagungsband - Fachbuch - Vorlesungsskript/Lehrbuch - Zeitschrift - CD-/DVD-ROM - Online Publikation
Suche im Gesamtkatalog - Rezensionen - Lizenzen
Newsletter für Autoren und Herausgeber - Neuerscheinungsservice - Archiv
Warenkorb ansehen
Katalog : Details

Wassim Boussahel

Improving energy efficiency of manufacturing systems through formal analysis of alternative strategies

Verbesserung der Energieeffizienz von Fertigungssystemen mittels Formaler Analyse von alternativen Strategien

ISBN:978-3-8440-5154-4
Reihe:Automatisierungstechnik
Schlagwörter:Energy efficiency; Formal analysis; Manufacturing systems
Publikationsart:Dissertation
Sprache:Englisch
Seiten:124 Seiten
Abbildungen:62 Abbildungen
Gewicht:177 g
Format:21 x 14,8 cm
Bindung:Paperback
Preis:45,80 € / 57,30 SFr
Erscheinungsdatum:April 2017
Kaufen:
  » zzgl. Versandkosten
Download:

Verfügbare Online-Dokumente zu diesem Titel:

Sie benötigen den Adobe Reader, um diese Dateien ansehen zu können. Hier erhalten Sie eine kleine Hilfe und Informationen, zum Download der PDF-Dateien.

Bitte beachten Sie, dass die Online-Dokumente nicht ausdruckbar und nicht editierbar sind.
Bitte beachten Sie auch weitere Informationen unter: Hilfe und Informationen.

 
 DokumentGesamtdokument 
 DateiartPDF 
 Kosten34,35 EUR 
 AktionZahlungspflichtig kaufen und anzeigen der Datei - 1,1 MB (1118094 Byte) 
 AktionZahlungspflichtig kaufen und download der Datei - 1,1 MB (1118094 Byte) 
     
 
 DokumentInhaltsverzeichnis 
 DateiartPDF 
 Kostenfrei 
 AktionAnzeigen der Datei - 61 kB (62147 Byte) 
 AktionDownload der Datei - 61 kB (62147 Byte) 
     

Benutzereinstellungen für registrierte Online-Kunden

Sie können hier Ihre Adressdaten ändern sowie bereits georderte Dokumente erneut aufrufen.

Benutzer:  Nicht angemeldet
Aktionen:  Anmelden/Registrieren
 Passwort vergessen?
Weiterempfehlung:Sie möchten diesen Titel weiterempfehlen?
RezensionsexemplarHier können Sie ein Rezensionsexemplar bestellen.
VerlinkenSie möchten diese Seite verlinken? Hier klicken.
ZusammenfassungEnergy efficiency is a widely discussed topic in in the manufacturing industry due to environmental and economic reasons. Manufacturers are always looking for being more energy-efficient which is a recipe for being more competitive, reducing waste and spending less money on energy than it is necessary. Potentials to save energy are present at every level and a special attention should be given to unused energy during idle times. Switching systems during these times to energy-efficient modes is one of these potentials that is somehow neglected and not very much explored in the literature in terms of formal models. This problem can be reduced to models exhibiting parallel strategies displaying different timing and energetic profiles and dependability between the different systems; the ultimate goal is to find optimal strategies respecting all the manufacturing-related requirements. The objective of the thesis is to formalize such problems by proposing a methodology directly implementable in the model checker PRISM. This model checker imposes high restrictions on continuous variables used in automata-based models; this makes a discrete approach more appropriate for modeling systems for the purpose of evaluation and optimization. Use-case examples are presented in order to illustrate the approach and explain the extent of what could be done with automata-based models in the model checker PRISM.