Catalogus : 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

Reeks:

Automatisierungstechnik

Trefwoorden:

Energy efficiency; Formal analysis; Manufacturing systems

Soort publicatie:

Dissertatie

Taal:

Engels

Pagina's:

124 pagina's

Gewicht:

177 g

Formaat:

21 x 14,8 cm

Bindung:

Softcover

Prijs:

45,80 € / 57,30 SFr

Verschijningsdatum:

April 2017

Kopen:

Download:

Beschikbare online documenten voor deze titel:

U heeft Adobe Reader, nodig, om deze bestanden te kunnen bekijken. Hier vindt u ondersteuning en informatie, bij het downloaden van PDF-bestanden.

Let u er a.u.b. op dat de online-bestanden niet drukbaar zijn.


	Document		Document
	Soort bestand		PDF
	Kosten		34,35 EUR
	Acties		Tonen en kopen van het bestand - 1,1 MB (1118094 Byte)
	Acties		Kopen en downloaden van het bestand - 1,1 MB (1118094 Byte)


	Document		Inhoudsopgave
	Soort bestand		PDF
	Kosten		gratis
	Acties		Het bestand tonen - 61 kB (62147 Byte)
	Acties		downloaden van het bestand - 61 kB (62147 Byte)

Gebruikersinstellingen voor geregistreerde online-bezoekers

Hier kunt u uw adresgegevens aanpassen en uw documenten inzien.

Gebruiker:	niet aangemeld
Acties:	aanmelden/registreren Paswoord vergeten?

Aanbevelen:

Wilt u dit boek aanbevelen?

Recensie-exemplaar

Bestelling van een recensie-exemplaar.

Verlinking

Wilt u een link hebben van uw publicatie met onze online catalogus? Klik hier.

Samenvatting

Energy 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.