Model-based design of baggage handling systems

ion “Timeless” controller “Sync-less” controller

[1]  Rjm Rolf Theunissen.  Supervisory control in health care systems , 2015 .

[2]  Tom van Dijk,et al.  Sylvan: multi-core decision diagrams , 2015, TACAS.

[3]  Stjepan Picek,et al.  Applications of evolutionary computation to cryptology , 2015 .

[4]  Jan Friso Groote,et al.  The Formal Specification Language mCRL2 , 2006, MMOSS.

[5]  Stéphane Lafortune,et al.  Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control , 2014, WODES.

[6]  Am Ana Sutii.  Modularity and reuse of domain-specific languages : an exploration with MetaMod , 2017 .

[7]  Olly Gotel,et al.  An analysis of the requirements traceability problem , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[8]  Knut Åkesson,et al.  Exploiting Modularity for Synthesis and Verification of Supervisors , 2002 .

[9]  Quirijn W. Bouts,et al.  Geographic graph construction and visualization , 2017 .

[10]  Wan Fokkink,et al.  Model-based design of supervisory controllers for baggage handling systems , 2017, Simul. Model. Pract. Theory.

[11]  Tiago Espinha,et al.  Web Service Growing Pains: Understanding Services and Their Clients , 2015 .

[12]  S Sjoerd Cranen,et al.  Getting the point : obtaining and understanding fixpoints in model checking , 2015 .

[13]  Elisa Costante,et al.  Privacy throughout the data cycle , 2015 .

[14]  Henning Basold,et al.  Mixed Inductive-Coinductive Reasoning Types, Programs and Logic , 2018 .

[15]  Jasen Markovski,et al.  A state-based framework for supervisory control synthesis and verification , 2010, 49th IEEE Conference on Decision and Control (CDC).

[16]  Joeri de Ruiter,et al.  Lessons learned in the analysis of the EMV and TLS security protocols , 2015 .

[17]  Robert M. Keller,et al.  Formal verification of parallel programs , 1976, CACM.

[18]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[19]  Bengt Lennartson,et al.  Efficient Symbolic Supervisor Synthesis for Extended Finite Automata , 2014, IEEE Transactions on Control Systems Technology.

[20]  Sergio Segura,et al.  Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..

[21]  Richard de Neufville,et al.  The baggage system at Denver: prospects and lessons , 1994 .

[22]  José Eduardo Ribeiro Cury,et al.  Conceptual Design of Discrete-Event Systems Using Templates , 2011, Discret. Event Dyn. Syst..

[23]  Jasen Markovski,et al.  Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting , 2010, FORMATS.

[24]  Dan Zhang,et al.  From concurrent state machines to reliable multi-threaded Java code , 2018 .

[25]  Saeid Nahavandi,et al.  Enabling industrial scale simulation / emulation models , 2007, 2007 Winter Simulation Conference.

[26]  D. Landman,et al.  Reverse engineering source code: Empirical studies of limitations and opportunities , 2017 .

[27]  Robi Malik,et al.  A Framework for Compositional Synthesis of Modular Nonblocking Supervisors , 2014, IEEE Transactions on Automatic Control.

[28]  J. E. Rooda,et al.  Syntax and semantics of the compositional interchange format for hybrid systems , 2013, J. Log. Algebraic Methods Program..

[29]  P. Fiterau-Brostean.  Active Model Learning for the Analysis of Network Protocols , 2018 .

[30]  J. M. van de Mortel-Fronczak,et al.  Supervisory control synthesis for a waterway lock , 2017, 2017 IEEE Conference on Control Technology and Applications (CCTA).

[31]  Jan Friso Groote,et al.  Notions of bisimulation and congruence formats for SOS with data , 2005, Inf. Comput..

[32]  Jan Friso Groote,et al.  SOS formats and meta-theory: 20 years after , 2007, Theor. Comput. Sci..

[33]  Jasen Markovski,et al.  Coordination of resources using generalized state-based requirements , 2010, WODES.

[34]  Wan Fokkink,et al.  Why is my supervisor empty? Finding causes for the unreachability of states in synthesized supervisors , 2016, 2016 13th International Workshop on Discrete Event Systems (WODES).

[35]  D. Luenberger.  An introduction to observers , 1971 .

[36]  J. R. Salamanca Tellez,et al.  Coequations and Eilenberg–type Correspondences , 2018 .

[37]  Robert Nystrom,et al.  Game Programming Patterns , 2014 .

[38]  M. Gazda,et al.  Fixpoint logic, games, and relations of consequence , 2016 .

[39]  Bengt Lennartson,et al.  Implementation of full synchronous composition using IEC 61499 function blocks , 2005, IEEE International Conference on Automation Science and Engineering, 2005..

[40]  U Ulyana Tikhonova,et al.  Engineering the dynamic semantics of domain specific languages , 2017 .

[41]  Marsha Chechik,et al.  A framework for counterexample generation and exploration , 2005, International Journal on Software Tools for Technology Transfer.

[42]  Bas Luttik,et al.  Evidence for Fixpoint Logic , 2015, CSL.

[43]  Cristián E. Cortés,et al.  A simulation approach to modelling baggage handling systems at an international airport , 2017, Simul. Model. Pract. Theory.

[44]  van,et al.  Massively collaborative machine learning , 2016 .

[45]  Robbert Krebbers,et al.  The C standard formalized in Coq , 2015 .

[46]  Stefano Russo,et al.  Finding a way in the Model Driven jungle: Invited Keynote Talk , 2016, ISEC.

[47]  Y Yaping Luo,et al.  From conceptual models to safety assurance : applying model-based techniques to support safety assurance , 2016 .

[48]  Roger S. Pressman,et al.  Software Engineering: A Practitioner's Approach , 1982 .

[49]  G. Tassey.  Standardization in technology-based markets , 2000 .

[50]  Stefan Wagner,et al.  Software Product Quality Control , 2013, Springer Berlin Heidelberg.

[51]  Bengt Lennartson,et al.  Efficient supervisory synthesis of large systems , 2004 .

[52]  Stefan Dietzel,et al.  Resilient in-network aggregation for vehicular networks , 2015 .

[53]  E. Gebler,et al.  Robust SOS Specifications of Probabilistic Processes , 2015 .

[54]  I. McGregor.  The relationship between simulation and emulation , 2002, Proceedings of the Winter Simulation Conference.

[55]  Ramon R. H. Schiffelers,et al.  Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner , 2014, IEEE Transactions on Automation Science and Engineering.

[56]  Knut Åkesson,et al.  Symbolic approach to nonblocking and safe control of Extended Finite Automata , 2010, 2010 IEEE International Conference on Automation Science and Engineering.

[57]  Qiang Yang,et al.  The program understanding problem: analysis and a heuristic approach , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[58]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[59]  Jens von Pilgrim,et al.  A survey of traceability in requirements engineering and model-driven development , 2010, Software & Systems Modeling.

[60]  Marina Zaharieva-Stojanovski,et al.  Closer to Reliable Software: Verifying Functional Behaviour of Concurrent Programs , 2015 .

[61]  Eljas Soisalon-Soininen,et al.  On Finding the Strongly Connected Components in a Directed Graph , 1994, Inf. Process. Lett..

[62]  Petra Heck.  Quality of Just-in-Time Requirements: Just-Enough and Just-in-Time , 2016 .

[63]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[64]  R.W.J. Kersten,et al.  Software analysis methods for resource-sensitive systems , 2015 .

[65]  Bengt Lennartson,et al.  Synchronised execution of discrete event models using sequential function charts , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[66]  Gergely Alpár,et al.  Attribute-based identity management : [bridging the cryptographic design of ABCs with the real world] , 2015 .

[67]  Jeffrey Yan,et al.  Distributed execution and cyber-physical design of Baggage Handling automation with IEC 61499 , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[68]  T. V. Bui,et al.  A software architecture for body area sensor networks : flexibility and trustworthiness , 2015 .

[69]  A. B. Kahn,et al.  Topological sorting of large networks , 1962, CACM.

[70]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[71]  Yanja Dajsuren,et al.  On the design of an architecture framework and quality evaluation for automotive software systems , 2015 .

[72]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[73]  J. M. van de Mortel-Fronczak,et al.  Application of supervisory control theory to theme park vehicles , 2012, WODES.

[74]  Tom Mens,et al.  Measuring software flexibility , 2006, IEE Proc. Softw..

[75]  Bengt Lennartson,et al.  Symbolic On-the-Fly Synthesis in Supervisory Control Theory , 2016, IEEE Transactions on Control Systems Technology.

[76]  Jaap A. Ottjes,et al.  New Developments in Airport Baggage Handling Systems , 2007 .

[77]  M. J. Steindorfer.  Efficient immutable collections , 2017 .

[78]  A. Amighi,et al.  Specification and verification of synchronisation classes in Java : A practical approach , 2018 .

[79]  Nikolaos Bezirgiannis.  Abstract behavioral specification: unifying modeling and programming , 2018 .

[80]  van Ai Arthur Goethem,et al.  Algorithms for curved schematization , 2016 .

[81]  Hanêne Ben-Abdallah,et al.  A guideline for software architecture selection based on ISO 25010 quality related characteristics , 2016, International Journal of System Assurance Engineering and Management.

[82]  Cuiting Chen,et al.  Automated Fault Localization for Service-Oriented Software Systems , 2015 .

[83]  Jeroen Bransen,et al.  On the Incremental Evaluation of Higher-Order Attribute Grammars , 2015 .

[84]  A Ali Mehrabi.  Data structures for analyzing geometric data , 2017 .

[85]  Daniel Jackson,et al.  Dependable Software by Design , 2006 .

[86]  R. Malik,et al.  Yet another approach to compositional synthesis of discrete event systems , 2008, 2008 9th International Workshop on Discrete Event Systems.

[87]  Ionut David.  Run-time resource management for component-based systems , 2016 .

[88]  Rudy van Vliet,et al.  DNA expressions - A formal notation for DNA , 2015 .

[89]  Erik P. de Vink,et al.  Supervisory Controller Synthesis for Product Lines Using CIF 3 , 2016, ISoLA.

[90]  J. M. van de Mortel-Fronczak,et al.  Simultaneous analysis and design based optimization for paper path and timing design of a high-volume printer , 2017 .

[91]  Sarmen Keshishzadeh,et al.  Formal analysis and verification of embedded systems for healthcare , 2016 .

[92]  F. Yang,et al.  A theory of executability : with a focus on the expressivity of process calculi , 2018 .

[93]  M. P. Konzack,et al.  Trajectory analysis : bridging algorithms and visualization , 2018 .

[94]  Wang Yi,et al.  UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems , 1996, Hybrid Systems.

[95]  Michel A. Reniers,et al.  Structural Operational Semantics with First-Order Logic , 2009, Electron. Notes Theor. Comput. Sci..

[96]  A. T. Hofkamp,et al.  CIF 3: Model-Based Engineering of Supervisory Controllers , 2014, TACAS.

[97]  Sjc Sebastiaan Joosten,et al.  Verification of interconnects , 2016 .

[98]  A Aminah Zawedde,et al.  Modeling the dynamics of requirements process improvement , 2016 .

[99]  Anja Guzzi,et al.  Supporting Developers' Teamwork from within the IDE , 2015 .

[100]  F.M.J. van den Broek,et al.  Mobile communication security , 2016 .

[101]  Twan Basten,et al.  Modular model-based supervisory controller design for wafer logistics in lithography machines , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[102]  van Ac Allan Hulst,et al.  Control synthesis using modal logic and partial bisimilarity : a treatise supported by computer verified proofs , 2016 .

[103]  Myunghwan Kim,et al.  A Distributed Synchronization Scheme for Fair Multi-Process Handshakes , 1990, Inf. Process. Lett..

[104]  Rong Su,et al.  A case study on timed supervisory control on a linear cluster tool using aggregated timed synthesis , 2011, 2011 9th IEEE International Conference on Control and Automation (ICCA).

[105]  Jeffrey Voas,et al.  Building Blocks of the Internet of Things , 2016, 2016 IEEE Symposium on Service-Oriented System Engineering (SOSE).

[106]  Ncwm Niels Braspenning.  Model-based integration and testing of high-tech multi-disciplinary systems , 2008 .

[107]  Jack Poulson,et al.  Scientific computing , 2013, XRDS.

[108]  W. Lueks,et al.  Security and Privacy via Cryptography Having your cake and eating it too , 2017 .

[109]  Mary Sheeran,et al.  SAT-Solving in Practice, with a Tutorial Example from Supervisory Control , 2009, Discret. Event Dyn. Syst..

[110]  Roel Verdult,et al.  The (in)security of proprietary cryptography , 2015 .

[111]  Valeriy Vyatkin,et al.  Software Engineering in Industrial Automation: State-of-the-Art Review , 2013, IEEE Transactions on Industrial Informatics.

[112]  Dennis Guck,et al.  Reliable systems: fault tree analysis via Markov reward automata , 2017 .

[113]  Valeriy Vyatkin,et al.  Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499 , 2010, IEEE Transactions on Automation Science and Engineering.

[114]  Shengbing Jiang,et al.  2080 SHENGBING JIANG AND RATNESH KUMAR , 2006 .

[115]  Saeed Darabi,et al.  Verification of Program Parallelization , 2018 .

[116]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[117]  Simon Wimmer,et al.  Timed Automata , 2016, Arch. Formal Proofs.

[118]  Walter Murray Wonham,et al.  Nonblocking supervisory control of state tree structures , 2005, IEEE Transactions on Automatic Control.

[119]  Saeid Nahavandi,et al.  Simulation-based baggage handling system merge analysis , 2015, Simul. Model. Pract. Theory.

[120]  Michel A. Reniers,et al.  Towards the Removal of Synchronous Behavior of Events in Automata , 2014, WODES.

[121]  W. M. Wonham,et al.  Supervisory Control of Discrete-Event Systems: A Brief History – 1980-2015 , 2017 .

[122]  A. J. van der Ploeg,et al.  Efficient abstractions for visualization and interaction , 2015 .

[123]  Mark Rouncefield,et al.  The State of Practice in Model-Driven Engineering , 2014, IEEE Software.

[124]  Baris Ege.  Physical Security Analysis of Embedded Devices , 2016 .

[125]  Jean-Louis Camus.  SCADE: Implementation and Applications , 2013 .

[126]  U. Brandes,et al.  GraphML Progress Report ? Structural Layer Proposal , 2001 .