9783832536008 - technologies for engineering manufacturing systems control in closed loop: 10 di preusse, sebastian (7 risultati)
- Brossura
Da: ISD LLC, Bristol, CT, U.S.A.ISD LLC
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 56,71
Spedizione gratuitaSpedito in U.S.A.Quantità: 2 disponibili
paperback. Condizione: New.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 75,92
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New.
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 78,31
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur berprfung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei die praktische Anwendung im industriellen Umfeld. Hierfr werden die verwendeten Formalismen weitestehend durch domnenspezifische Besc…hreibungsmglichkeiten substituiert, um somit den Anwender beim Entwurfs- und Analyseprozess zu untersttzen. Die Arbeit stellt konkrete Techniken vor, um ein formales Anlagenmodell aus bereits vorhandenen Daten zu generieren, um eine formale Spezifikation des Verhaltens des technischen Systems zu erstellen und um das Verhalten des Systems formal zu analysieren. Dabei wird die Steuerungshardware in den Prozess eingebunden und somit die Korrektheit des implementierten Steuerungsprogramms berprft. Auf diese Weise lsst sich fehlerhaftes Anlagenverhalten bereits vor der Inbetriebnahme aufdecken und beheben, wodurch die Kosten fr die Fehleranalyse und -korrektur im laufenden Betrieb eingespart werden. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Brossura
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 78,64
EUR 2,31 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: As New. Unread book in perfect condition.
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 82,64
EUR 10,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 2 disponibili
Condizione: New. 2013. Paperback. . . . . .
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 105,26
EUR 9,18 spedizioneSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New. 2013. Paperback. . . . . . Books ship from the US and Ireland.
- Brossura
Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 98,18
EUR 32,34 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur berprfung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei die praktische Anwendung im industriellen Umfeld. Hierfr werden die verwendeten Formalismen weitestehend durch domnenspezifische Besc…hreibungsmglichkeiten substituiert, um somit den Anwender beim Entwurfs- und Analyseprozess zu untersttzen. Die Arbeit stellt konkrete Techniken vor, um ein formales Anlagenmodell aus bereits vorhandenen Daten zu generieren, um eine formale Spezifikation des Verhaltens des technischen Systems zu erstellen und um das Verhalten des Systems formal zu analysieren. Dabei wird die Steuerungshardware in den Prozess eingebunden und somit die Korrektheit des implementierten Steuerungsprogramms berprft. Auf diese Weise lsst sich fehlerhaftes Anlagenverhalten bereits vor der Inbetriebnahme aufdecken und beheben, wodurch die Kosten fr die Fehleranalyse und -korrektur im laufenden Betrieb eingespart werden. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
