Supervisory control in health care systems

• A submitted manuscript is the author's version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers.

[1]  G. C. Cuddeford.  Computer Control of Industrial Processes , 1967, Comput. J..

[2]  Huibert Kwakernaak,et al.  Linear Optimal Control Systems , 1972 .

[3]  P. Lauterbur,et al.  Image Formation by Induced Local Interactions: Examples Employing Nuclear Magnetic Resonance , 1973, Nature.

[4]  W. Hinshaw,et al.  Radiographic thin-section image of the human wrist by nuclear magnetic resonance , 1977, Nature.

[5]  P. Ramadge,et al.  On the supremal controllable sublanguage of a given language , 1984, The 23rd IEEE Conference on Decision and Control.

[6]  Richard E. Fairley,et al.  Software engineering concepts , 1985, McGraw-Hill series in software engineering and technology.

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

[8]  P. Ramadge,et al.  On the supermal controllable sublanguage of a given language , 1987 .

[9]  C. Golaszewski,et al.  Control of discrete event processes with forced events , 1987, 26th IEEE Conference on Decision and Control.

[10]  A. Berztiss,et al.  Requirements Engineering , 2002, J. Object Technol..

[11]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

[12]  Colin Potts,et al.  Software-engineering research revisited , 1993, IEEE Software.

[13]  Shuzo Yajima,et al.  The Complexity of the Optimal Variable Ordering Problems of Shared Binary Decision Diagrams , 1993, ISAAC.

[14]  S. Balemi,et al.  Supervisory control of a rapid thermal multiprocessor , 1993, IEEE Trans. Autom. Control..

[15]  Jana Kosecka,et al.  Application of discrete events systems for modeling and controlling robotic agents , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[16]  B. A. Brandin,et al.  The supervisory control of the automated manufacturing system of the AIP , 1994, Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology.

[17]  Silvano Balemi.  Input/output discrete event processes and communication delays , 1994, Discret. Event Dyn. Syst..

[18]  W. M. Wonham,et al.  Discrete event systems modeling and control of a manufacturing testbed , 1995, Proceedings 1995 Canadian Conference on Electrical and Computer Engineering.

[19]  B.A. Brandin,et al.  The real-time supervisory control of an experimental manufacturing cell , 1996, IEEE Trans. Robotics Autom..

[20]  Beno Benhabib,et al.  Application of discrete-event-system theory to flexible manufacturing , 1996 .

[21]  Martin Fabian,et al.  PLC-based implementation of supervisory control for discrete event systems , 1998, Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171).

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

[23]  F. Lin,et al.  Modeling of discrete event systems using finite state machines with parameters , 2000, Proceedings of the 2000. IEEE International Conference on Control Applications. Conference Proceedings (Cat. No.00CH37162).

[24]  Jinwoo Park,et al.  A Supervisory Control Approach for Execution Control of an FMC , 2001 .

[25]  Bengt Lennartson,et al.  Modular implementation of discrete event systems as sequential function charts applied to an assembly cell , 2001, Proceedings of the 2001 IEEE International Conference on Control Applications (CCA'01) (Cat. No.01CH37204).

[26]  W. M. Wonham,et al.  Implementation Considerations in Supervisory Control , 2002 .

[27]  Jing Liu,et al.  Ramadge-Wonham supervisory control of mobile robots: lessons from practice , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[28]  M.H. de Queiroz,et al.  Synthesis and implementation of local modular supervisory control for a manufacturing cell , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[29]  Rolf Isermann,et al.  Mechatronic Systems: Fundamentals , 2003 .

[30]  Ratnesh Kumar,et al.  Automated control synthesis for an assembly line using discrete event system control theory , 2003, IEEE Trans. Syst. Man Cybern. Part C.

[31]  Lionel Mamane,et al.  Interactive mathematical documents: creation and presentation , 2004 .

[32]  Eduardo Alves Portela Santos,et al.  Design and implementation of a low cost control system for a manufacturing cell , 2004, IEEE Conference on Robotics, Automation and Mechatronics, 2004..

[33]  Michel Pasquier,et al.  Supervising passenger land-transport systems , 2004, IEEE Transactions on Intelligent Transportation Systems.

[34]  Mustapha Nourelfath,et al.  Modular supervisory control of an experimental automated manufacturing system , 2004 .

[35]  Peyman Gohari,et al.  Embedded supervisory control of discrete-event systems , 2005, IEEE International Conference on Automation Science and Engineering, 2005..

[36]  Thomas Bäck,et al.  Mixed-integer evolution strategies for parameter optimization and their applications to medical image analysis , 2005 .

[37]  B. Lijnse,et al.  TOP to the rescue. Task-oriented programming for incident response applications , 2005 .

[38]  Tim K. Cocx,et al.  Metrics and visualisation for crime analysis and genomics , 2005 .

[39]  R.S.S. O'Connor,et al.  Incompleteness & completeness : formalizing logic and analysis in type theory , 2005 .

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

[41]  A. Sangiovanni-Vincentelli,et al.  Hybrid Control: Taming Heterogeneity and Complexity of Networked Embedded Systems , 2006 .

[42]  Marco A. Busetti,et al.  Control synthesis and implementation for an integrated manufacturing system based on Supervisory Control Theory , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[43]  Tetsuo Tomiyama,et al.  Advanced Engineering Informatics , 2007, Adv. Eng. Informatics.

[44]  Ryan J. Leduc,et al.  Synthesis Method for Hierarchical Interface-based Supervisory Control , 2007, 2007 American Control Conference.

[45]  Borut Marincek,et al.  How Does MRI Work? An Introduction to the Physics and Function of Magnetic Resonance Imaging , 2007, Journal of Nuclear Medicine.

[46]  Jean-François Pétin,et al.  Supervisory synthesis for product-driven automation and its application to a flexible assembly cell , 2007 .

[47]  M. D. Berg,et al.  Optimal Geometric Data Structures , 2007 .

[48]  Jing Huang,et al.  Optimal Nonblocking Directed Control of Discrete Event Systems , 2007, 2007 American Control Conference.

[49]  Farhad Arbab,et al.  Model Checking of Component Connectors , 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

[50]  Oscar Ljungkrantz,et al.  Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers , 2007, Proceedings 2007 IEEE International Conference on Robotics and Automation.

[51]  Knut Åkesson,et al.  Supervisory Control Applied to Automata Extended with Variables - Revised , 2007 .

[52]  B. Gaudin,et al.  Supervisory Control on Concurrent Discrete Event Systems with Variables , 2007, 2007 American Control Conference.

[53]  P. Gohari,et al.  Implementing supervisory control maps with PLC , 2007, 2007 American Control Conference.

[54]  M. Noorbakhsh,et al.  Design and PLC based implementation of supervisory control for under-load tap-changing transformers , 2007, 2007 International Conference on Control, Automation and Systems.

[55]  Sander Vermolen,et al.  Software Language Evolution , 2008, 2008 15th Working Conference on Reverse Engineering.

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

[57]  Salman Kurtulan,et al.  An implementation methodology for supervisory control theory , 2008 .

[58]  J. Rooda,et al.  Supervisory control synthesis for exception handling in printers , 2008 .

[59]  Seyyed Hamed Hashemi,et al.  Studies on verification of wireless sensor networks and abstraction learning for system inference , 2008 .

[60]  Scw Bas Ploeger,et al.  Improved verification methods for concurrent systems , 2009 .

[61]  Hasan Sözer,et al.  Architecting Fault-Tolerant Software Systems , 2009 .

[62]  Hugo Jonker,et al.  Security matters : privacy in voting and fairness in digital exchange , 2009 .

[63]  Ramon R. H. Schiffelers,et al.  New Concepts in the Abstract Format of the Compositional Interchange Format , 2009, ADHS.

[64]  M. J. de Mol,et al.  Reasoning about functional programs : Sparkle, a proof assistant for Clean , 2009 .

[65]  van Mpwj Michiel Osch.  Automated model-based testing of hybrid systems , 2009 .

[66]  Mari Antonius Cornelis Dekker,et al.  Flexible Access Control for Dynamic Collaborative Environments , 2009 .

[67]  Ramon R. H. Schiffelers,et al.  Supervisory control synthesis for a patient support system , 2009, 2009 European Control Conference (ECC).

[68]  A. Rodriguez Yakushev,et al.  Towards Getting Generic Programming Ready for Prime Time , 2009 .

[69]  Tingting Han,et al.  Diagnosis, Synthesis and Analysis of Probabilistic Models , 2009, Ausgezeichnete Informatikdissertationen.

[70]  Ali Mesbah,et al.  Analysis and Testing of Ajax-based Single-page Web Applications , 2009 .

[71]  J. Kwisthout,et al.  The Computational Complexity of Probabilistic Networks , 2009 .

[72]  Sebastiaan Gijsbert Marinus Cornelissen,et al.  Evaluating Dynamic Analysis Techniques for Program Comprehension , 2009 .

[73]  D. A. van Beek,et al.  Model-Based Engineering of Supervisory Controllers using CIF , 2009 .

[74]  Karina R. Olmos Joffré.  Strategies for Context Sensitive Program Transformation , 2009 .

[75]  H. Hansen.  Coalgebraic Modelling : Applications in Automata theory and Modal logic , 2009 .

[76]  Marcel Verhoef,et al.  Modeling and validating distributed embedded real-time control systems , 2009 .

[77]  Ramon R. H. Schiffelers,et al.  Model-Based Engineering of Supervisory Controllers using CIF , 2009, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[78]  J. van den Berg,et al.  Reasoning about Java programs in PVS using JML , 2009 .

[79]  Marcin Czenko,et al.  TuLiP : reshaping trust management , 2009 .

[80]  Tim K. Cocx,et al.  Algorithmic tools for data-oriented law enforcement , 2009 .

[81]  Rong Su,et al.  Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction , 2010, IEEE Transactions on Automatic Control.

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

[83]  J. K. Berendsen,et al.  Abstraction, prices and probability in model checking timed automata , 2010 .

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

[85]  Tom Staijen,et al.  Graph-based Specification and Verification for Aspect-Oriented Languages , 2010 .

[86]  Martin R. Neuhäußer,et al.  Model checking nondeterministic and randomly timed systems , 2010 .

[87]  de A. Bruin,et al.  Service-oriented discovery of knowledge : foundations, implementations and applications , 2010 .

[88]  Teade Punter,et al.  Views on Evolvability of Embedded Systems , 2010 .

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

[90]  C. J. Boogerd,et al.  Focusing Automatic Code Inspections , 2010 .

[91]  Gheorghe Paun,et al.  Spiking Neural dP Systems , 2011, Fundam. Informaticae.

[92]  B. J. Arnoldus,et al.  An illumination of the template enigma : software code generation with templates , 2011 .

[93]  A. Morali,et al.  IT architecture-based confidentiality risk assessment in networks of organizations , 2011 .

[94]  Z Zvezdan Protic,et al.  Configuration management for models : generic methods for model comparison and model co-evolution , 2011 .

[95]  Hendrik Michaël van der Bijl,et al.  On changing models in model-based testing , 2011 .

[96]  Miguel E. Andrés,et al.  Quantitative Analysis of Information Leakage in Probabilistic and Nondeterministic Systems , 2011, ArXiv.

[97]  Somayeh Malakuti Khah Olun Abadi.  Event composition model: achieving naturalness in runtime enforcement , 2011 .

[98]  van Pja Paul Tilburg.  From computability to executability : a process-theoretic view on automata theory , 2011 .

[99]  Lacramioara Astefanoaei,et al.  An executable theory of multi-agent systems refinement , 2011 .

[100]  Stephanie Kemper,et al.  Modelling and analysis of real-time coordination patterns , 2011 .

[101]  M Muhammad Atif,et al.  Formal modeling and verification of distributed failure detectors , 2011 .

[102]  Ronald Middelkoop,et al.  Capturing and exploiting abstract views of states in OO verification , 2011 .

[103]  Jos C. M. Baeten,et al.  A process-theoretic approach to supervisory control theory , 2011, Proceedings of the 2011 American Control Conference.

[104]  Jos C. M. Baeten,et al.  A Process Algebra for Supervisory Coordination , 2011, PACO.

[105]  R. Bakhshi.  Gossiping Models : Formal Analysis of Epidemic Protocols , 2011 .

[106]  Lennart C. L. Kats,et al.  Building Blocks for Language Workbenches , 2011 .

[107]  Young-Joo Moon,et al.  Stochastic models for quality of service of component connectors , 2011 .

[108]  Emmanuele Zambon,et al.  Towards optimal IT availability planning: methods and tools , 2011 .

[109]  S. Lafortune.  Supervisory Control Of Discrete Event Systems , 2011 .

[110]  Bas Basten,et al.  Ambiguity Detection for Programming Language Grammars , 2011 .

[111]  K. Tsirogiannis,et al.  Analysis of flow and visibility on triangulated terrains , 2011 .

[112]  Eduardo Alves Portela Santos,et al.  Dealing with routing in an automated manufacturing cell: a supervisory control theory application , 2011 .

[113]  W. Kuijper.  Compositional Synthesis of Safety Controllers , 2012 .

[114]  Zef Hemel.  Methods and Techniques for the Design and Implementation of Domain-Specific Languages , 2012 .

[115]  Adriaan Middelkoop,et al.  Inference of Program Properties with Attribute Grammars, Revisited , 2012 .

[116]  D. E. Nadales Agut,et al.  A Compositional Interchange Format for Hybrid Systems: Design and Implementation , 2012 .

[117]  Ljp Luc Engelen.  From napkin sketches to reliable software , 2012 .

[118]  Saeed Sedghi,et al.  Towards Provably Secure Efficiently Searchable Encryption , 2012 .

[119]  Fpm Frank Stappers.  Bridging formal models : an engineering perspective , 2012 .

[120]  J. E. Rooda,et al.  Improving evolvability of a patient communication control system using state-based supervisory control synthesis , 2012, Adv. Eng. Informatics.

[121]  Kab Kevin Verbeek.  Algorithms for cartographic visualization , 2012 .

[122]  van Mf Marcel Amstel,et al.  Assessing and improving the quality of model transformations , 2012 .

[123]  Hossein Rahmani,et al.  Analysis of protein-protein interaction networks by means of annotated graph mining algorithms , 2012 .

[124]  Aah Ammar Osaiweran.  Formal development of control software in the medical systems domain , 2012 .

[125]  Trajce Dimkov,et al.  Alignment of organizational security policies: Theory and Practice , 2012 .

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

[127]  John Businge,et al.  Co-evolution of the Eclipse SDK Framework and Its Third-Party Plug-Ins , 2013, 2013 17th European Conference on Software Maintenance and Reengineering.

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

[129]  Jja Jeroen Keiren,et al.  Advanced reduction techniques for model checking , 2013 .

[130]  M. S. Greiler,et al.  Test Suite Comprehension for Modular and Dynamic Systems , 2013 .

[131]  Mark Timmer,et al.  Efficient modelling, generation and analysis of Markov automata , 2013 .

[132]  L. Lensink,et al.  Applying formal methods in software development , 2013 .

[133]  Dhp Dirk Gerrits.  Pushing and pulling : computing push plans for disk-shaped robots, and dynamic labelings for moving points , 2013 .

[134]  Eduardo Zambon,et al.  Abstract Graph Transformation - Theory and Practice , 2013 .

[135]  Mjm Marcel Roeloffzen.  Kinetic data structures in the black-box model , 2013 .

[136]  Carst Tankink.  Documentation and formal mathematics : web technology meets theorem proving , 2013 .

[137]  van den,et al.  Composition and synchronization of real-time components upon one processor , 2013 .

[138]  Georgeta Igna,et al.  Performance analysis of real-time task systems using timed automata , 2013 .

[139]  Gerhard de Koning Gans,et al.  Outsmarting smart cards , 2013 .

[140]  Sander van der Burg,et al.  A Reference Architecture for Distributed Software Deployment , 2013 .

[141]  Axel Belinfante,et al.  JTorX: exploring model-based testing , 2014 .

[142]  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.

[143]  Joost Winter,et al.  Coalgebraic Characterizations of Automata-Theoretic Classes , 2014 .

[144]  Adrianus Johannus Paulus Jeckmans.  Cryptographically-Enhanced Privacy for Recommender Systems , 2014 .

[145]  Marijn Paul Schraagen,et al.  Aspects of record linkage , 2014 .

[146]  Alfons Laarman,et al.  Scalable multi-core model checking , 2014 .

[147]  J. van den Bos,et al.  Gathering evidence: Model-driven software engineering in automated digital forensics , 2014 .

[148]  Frank W. Takes.  Algorithms for analyzing and mining real-world graphs , 2014 .

[149]  N Neda Noroozi,et al.  Improving input-output conformance testing theories , 2014 .

[150]  Pim Vullers,et al.  Efficient implementations of attribute-based credentials on smart cards , 2014 .

[151]  Cor-Paul Bezemer,et al.  Performance Optimization of Multi-Tenant Software Systems , 2014 .

[152]  Frank S. de Boer,et al.  Combining Monitoring with Run-Time Assertion Checking , 2014, SFM.

[153]  Fides Aarts,et al.  Tomte : bridging the gap between active learning and real-world systems , 2014 .

[154]  van der,et al.  Domain specific languages and their type systems , 2014 .

[155]  Wouter Meulemans,et al.  Similarity measures and algorithms for cartographic schematization , 2014 .

[156]  Minh Tri Ngo,et al.  Qualitative and Quantitative Information Flow Analysis for Multi-threaded Programs , 2014 .

[157]  A. Narwade,et al.  Faculty of Electrical Engineering, Mathematics and Computer Science , 2015 .

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

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