A Formal Transparency Framework for Validation of Real-Time Discrete-Event Control Requirements Modeled by Timed Transition Graphs

No abstract is available for this paper.

• Publication year

  2015

• Venue

  IEEE Transactions on Human-Machine Systems

• Publication date

  2015-01-29

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/THMS.2014.2386972
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A Metric Temporal Logic Specification Interface for Real-Time Discrete-Event Control

  2014cited by this paper
• On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata

  2013cited by this paper
• Partially-Supervised Plants: Embedding Control Requirements in Plant Components

  2012cited by this paper
• On Specification Informatics in Discrete-event Systems - State-transparency for Clarity of Finite Automata as Control Specifications

  2012cited by this paper
• Decentralized Supervisory Control of Timed Discrete Event Systems Using a Partition of the Forcible Event Set

  2012cited by this paper
• Automating timed specification transparency for human designer validation of real-time discrete-event control requirements

  2012cited by this paper
• Graph-Based Natural Language Processing and Information Retrieval: Notations, Properties, and Representations

  2011cited by this paper
• Process tracking by equivalent states in modal supervisory control

  2011cited by this paper
• Book Review: Graph-Based Natural Language Processing and Information Retrieval by Rada Mihalcea and Dragomir Radev

  2011cited by this paper
• Conceptual Design of Discrete-Event Systems Using Templates

  2011cited by this paper
• Equivalence of behaviors between centralized and multi-model approaches

  2011cited by this paper
• RATSY - A New Requirements Analysis Tool with Synthesis

  2010cited by this paper
• On the transparency of automata as discrete-event control specifications

  2010influential reference
• Decentralized Diagnosis for Nonfailures of Discrete Event Systems Using Inference-Based Ambiguity Management

  2010cited by this paper
• Conformance test of logic controllers of critical systems from industrial specifications

  2010cited by this paper
• A new method for centralised and modular supervisory control of real-time discrete event systems

  2010cited by this paper
• Real-time preemptive scheduling of sporadic tasks based on supervisory control of discrete event systems

  2008cited by this paper
• Supervisor State Size Reduction for Timed Discrete-Event Systems

  2007cited by this paper
• Decentralized failure diagnosis of discrete event systems

  2006cited by this paper
• On the Approximability of Maximum and Minimum Edge Clique Partition Problems

  2006cited by this paper
• Supervisor Reduction for Discrete-Event Systems

  2004cited by this paper
• Supervising passenger land-transport systems

  2004cited by this paper
• Automata-based supervisory control logic design for a multi-robot assembly cell

  2002cited by this paper
• NetCamo: camouflaging network traffic for QoS-guaranteed mission critical applications

  2001cited by this paper
• Supervisory control of discrete event systems with CTL* temporal logic specifications

  2001cited by this paper
• Diagnosis of a class of distributed discrete-event systems

  2000cited by this paper
• A modified method for supervisor specification and synthesis of a class of discrete event systems

  1999cited by this paper
• Introduction to Discrete Event Systems

  1999cited by this paper
• Automatic synthesis of controllers from formal specifications

  1998cited by this paper
• Hierarchical control of timed discrete-event systems

  1996cited by this paper
• A discrete-event systems approach to modeling dextrous manipulation

  1996cited by this paper
• Application of discrete-event-system theory to flexible manufacturing

  1996cited by this paper
• The real-time supervisory control of an experimental manufacturing cell

  1996cited by this paper
• Supervisory control of timed discrete-event systems under partial observation

  1995cited by this paper
• Discrete Event Systems for autonomous mobile agents

  1994cited by this paper
• Supervisory control of timed discrete-event systems

  1994influential reference
• Introduction to Discrete Event Dynamic Systems

  1991cited by this paper
• A framework for real-time discrete event control

  1990cited by this paper
• Supervisory control of communicating processes

  1990cited by this paper
• Representational effects on the solving of an unstructured decision problem

  1989cited by this paper
• Supervisory control of a class of discrete event processes

  1987cited by this paper
• On supervisor reduction in discrete-event systems

  1986influential reference
• Specification techniques for data abstractions

  1975cited by this paper

• Supervisory Control of Time-Interval Discrete Event Systems

  2024cites this paper
• On the Concept of Transparency: A Systematic Literature Review

  2022cites this paper
• Towards a Framework for Improving Transparency in the Software Engineering Process

  2022cites this paper
• Research progress on credibility assessment of a complex simulation system

  2018cites this paper
• A hierarchical consistency framework for real-time supervisory control

  2018cites this paper
• Editorial IEEE Transactions on Human-Machine Systems: Year in Review for 2015

  2016cites this paper
• Editorial IEEE Transactions on Human–Machine Systems: Year in Review for 2013

  2014cites this paper