Automated Determining of Manufacturing Properties and Their Evolutionary Changes from Event Traces
暂无分享,去创建一个
[1] George Chryssolouris,et al. Manufacturing Systems: Theory and Practice , 1992 .
[2] Birgit Vogel-Heuser,et al. Requirements on Evolution Management of Product Lines in Automation Engineering , 2012 .
[3] Jean-Jacques Lesage,et al. Black-box identification of discrete event systems with optimal partitioning of concurrent subsystems , 2010, Proceedings of the 2010 American Control Conference.
[4] M. Bonfe,et al. A SysML-Based Methodology for Manufacturing Machinery Modeling and Design , 2011, IEEE/ASME Transactions on Mechatronics.
[5] Karsten Lemmer,et al. Inverse Model Based Testing -- Generating Behavior Models from Abstract Test Cases , 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.
[6] Suresh P. Sethi,et al. Flexibility in manufacturing: A survey , 1990 .
[7] Winfried Lamersdorf,et al. Learning Behaviour Models of Discrete Event Production Systems from Observing Input/Output Signals , 2015 .
[8] Rance Cleaveland,et al. Automatic Requirement Extraction from Test Cases , 2010, RV.
[9] Birgit Vogel-Heuser,et al. Challenges for Software Engineering in Automation , 2014 .
[10] Frank Allgöwer. Methoden und Grundlagen der Automatisierungstechnik in der GMA-Arbeit (Methods and Foundations of Automation Technology: A Report about the Activities within the VDI/VDE Society for Measurement and Automatic Control (GMA)) , 2005, Autom..
[11] M. I. M. Wahab. Measuring machine and product mix flexibilities of a manufacturing system , 2005 .
[12] Birgit Vogel-Heuser,et al. Formal Technical Process Specification and Verification for Automated Production Systems , 2014, SAM.
[13] Hans Kleine Büning,et al. Using behavior models for anomaly detection in hybrid systems , 2011, 2011 XXIII International Symposium on Information, Communication and Automation Technologies.
[14] Oliver Niggemann,et al. Data-driven anomaly detection in cyber-physical production systems , 2015, Autom..
[15] Birgit Vogel-Heuser,et al. Interaction of model-driven engineering and signal-based online monitoring of production systems: Towards Requirement-aware evolution , 2014, IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society.
[16] Jay Liebowitz,et al. Knowledge Management Handbook , 1999 .
[17] Jurgen Lange,et al. OPC : From Data Access to Unified Architecture , 2010 .
[18] Manfred Broy,et al. Interface Behavior Modeling for Automatic Verification of Industrial Automation Systems' Functional Conformance , 2014, Autom..
[19] Winfried Lamersdorf,et al. Learning material flow models for manufacturing plants from data traces , 2015, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN).
[20] Shahin Hashtrudi-Zad,et al. Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..
[21] Birgit Vogel-Heuser,et al. Evolution of software in automated production systems: Challenges and research directions , 2015, J. Syst. Softw..
[22] Winfried Lamersdorf,et al. Evolution Management of Production Facilities by Semi-Automated Requirement Verification , 2014, Autom..
[23] Valeriy Vyatkin,et al. Software Engineering in Industrial Automation: State-of-the-Art Review , 2013, IEEE Transactions on Industrial Informatics.
[24] Miryam Barad,et al. Flexibility in manufacturing systems: definitions and Petri net modelling , 1988 .
[25] Winfried Lamersdorf,et al. Supporting commissioning of production plants by model-based testing and model learning , 2015, 2015 IEEE 24th International Symposium on Industrial Electronics (ISIE).
[26] Sven Rogalski. Flexibility Measurement in Production Systems , 2011 .
[27] Miryam Barad,et al. Flexibility and types of changes in FMSs: A timed petri-nets assessment of machine flexibility , 1990 .
[28] Mikell P. Groover,et al. Automation, Production Systems, and Computer-Integrated Manufacturing , 1987 .
[29] Rolf Isermann,et al. Fault-diagnosis systems : an introduction from fault detection to fault tolerance , 2006 .
[30] Dawn M. Tilbury,et al. Anomaly Detection Using Model Generation for Event-Based Systems Without a Preexisting Formal Model , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[31] Lindsay Victoria Allen. Verification and Anomaly Detection for Event-Based Control of Manufacturing Systems , 2010 .
[32] Jean-Jacques Lesage,et al. Determination of timed transitions in identified discrete-event models for fault detection , 2012, 2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
[33] Stefan Biffl,et al. The adaptation of test-driven software processes to industrial automation engineering , 2010, 2010 8th IEEE International Conference on Industrial Informatics.
[34] Winfried Lamersdorf,et al. Keeping Pace with Changes - Towards Supporting Continuous Improvements and Extensive Updates in Manufacturing Automation Software , 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
[35] Martin Witte. System Engineering, Plant Engineering and Functional Models , 2012, Softwaretechnik-Trends.
[36] Bernhard Beckert,et al. Selected challenges of software evolution for automated production systems , 2015, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN).
[37] Andy Schürr,et al. Applying Model-based Software Product Line Testing Approaches to the Automation Engineering Domain , 2014, Autom..
[38] Winfried Lamersdorf,et al. Operationalized definitions of non-functional requirements on automated production facilities to measure evolution effects with an automation system , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).
[39] Birgit Vogel-Heuser,et al. Model-driven Engineering of Manufacturing Automation Software Projects - A SysML-based Approach , 2014, ArXiv.
[40] Stefan C. Kremer,et al. New directions in fuzzy automata , 2005, Int. J. Approx. Reason..
[41] Lothar Litz,et al. Formal methods in PLC programming , 2000, Smc 2000 conference proceedings. 2000 ieee international conference on systems, man and cybernetics. 'cybernetics evolving to systems, humans, organizations, and their complex interactions' (cat. no.0.
[42] Kristina Säfsten,et al. Production Development: Design and Operation of Production Systems , 2009 .
[43] Stefan Biffl,et al. Test-Driven Automation: Adopting Test-First Development to Improve Automation Systems Engineering Processes , 2009 .
[44] K.C. Thramboulidis,et al. Using UML in control and automation: a model driven approach , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.
[45] Winfried Lamersdorf,et al. An active service-component architecture to enable self-awareness of evolving production systems , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).
[46] Dimitri Lefebvre,et al. Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[47] Chris Aldrich,et al. Unsupervised Process Monitoring and Fault Diagnosis with Machine Learning Methods , 2013, Advances in Computer Vision and Pattern Recognition.
[48] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[49] Armin Zimmermann,et al. Stochastic Discrete Event Systems: Modeling, Evaluation, Applications , 2007 .
[50] Simon Peck,et al. Practice of Petri Nets in Manufacturing , 1993 .
[51] Surendra M. Gupta,et al. Petri net models of flexible and automated manufacturing systems : a survey , 1996 .
[52] Armin Zimmermann,et al. Stochastic Discrete Event Systems , 2008 .