Quantum Mechanics / by George L. Trigg

• Record Nr.: UNINA990001071550403321
• Autore: Trigg, George L.
• Pubbl/distr/stampa: Princeton [N.J.] : Van Nostrand, 1964
• Collana: University Physics Series
• Disciplina: 530.12
• Locazione: FI1
• Collocazione: 22-050
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Automatic modeling and fault diagnosis of timed concurrent discrete event systems / / Stefan Schneider

• Record Nr.: UNINA9910829058003321
• Autore: Schneider Stefan
• Pubbl/distr/stampa: Berlin : , : Logos, , [2015]; ©2015
• ISBN: 3-8325-9498-1
• Descrizione fisica: 1 online resource (184 pages)
• Disciplina: 003.83
• Soggetti: Discrete-time systems
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: PublicationDate: 20150530
• Sommario/riassunto: Long description: The productive operation of machines and facilities is of great economic importance for industrial companies. In order to achieve high productivity, unscheduled production downtimes induced ; by faults need to be minimized. In this work, an approach for modelbased fault diagnosis of timed concurrent Discrete Event Systems is proposed that can contribute to this aim. The models are automatically determined by timed identification and partitioning. These approaches allow for efficient modeling of large and complex industrial systems with concurrent behavior requiring only little system knowledge. The work explains the theoretical and practical aspects of the presented approaches and gives a detailed evaluation based on a laboratory manufacturing system.