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

Dhananjayan, Amrith; Seow, Kiam Tian

doi:10.1109/thms.2014.2386972

Cited by 10 publications

(4 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It checked that the requirements are consistent and there is no conflict between requirement documents. The RV is a significant process for detecting errors as early as the design phase because we can save our cost and development time [15].…”

Section: Figure 3 Flow Of Researchmentioning

confidence: 99%

Exploiting Requirement Validation Techniques for Assessing the Software’s Quality in Pakistan

Ali,

Yousaf,

Mehmood

et al. 2021

VFAST trans. softw. eng.

View full text Add to dashboard Cite

There are five significant steps in software requirements engineering and the requirement validation (RV) step is one of them. Requirements validation ensures the reliability, stability, and consistency of the software. The persons involved in performing the requirements validation are stakeholders and external reviewers. The requirements validation techniques (RVTs) not only help in finding the errors but also help in guaranteeing the quality of the software. As quality is important, therefore, the main focus of this paper is to determine the ways of quality improvement in software requirements. A questionnaire-based survey is used to identify the most suitable RVTs for improving the quality. The results are compiled by developing a hypothesis and the Chi-square test method. The results showed that the cost reduction quality parameter is the most satisfactory because it reduces the cost up to 44.6% by using RVTs in Pakistan and foreign countries. Another important outcome is the level of effectiveness of RVTs which is much better in foreign countries as compared to Pakistan.

show abstract

Section: Figure 3 Flow Of Researchmentioning

confidence: 99%

Exploiting Requirement Validation Techniques for Assessing the Software’s Quality in Pakistan

Ali,

Yousaf,

Mehmood

et al. 2021

VFAST trans. softw. eng.

View full text Add to dashboard Cite

show abstract

“…For example, besides various extensions and enrichment of timed supervisory control theory, e.g., Devaraj et al [2019], Rahnamoon and Wonham. [2018], Schafaschek et al [2017], new applications have been found in, e.g., networked timed supervisory control Pruekprasert and Ushio [2020], Rashidinejad et al [2018], Zhao et al [2017], fault diagnosis of timed systems Basin et al [2016], Zad et al [2005], fault tolerant control Tahiri et al [2018], task planning Tatsumoto et al [2018], Ware and Su [2017], biological gene regulation Baldissera et al [2016], Cury and Baldissera [2013] (which adopts the concept of event forcing), requirement transparency Dhananjayan and Seow [2015]. By using an explicit timing mechanism based on a specially introduced event tick, the framework can effectively capture timing constraints commonly encountered.…”

Section: Introductionmentioning

confidence: 99%

Supervisory Control of Time-Interval Discrete Event Systems

Brandin,

Su,

Lin

2024

IEEE Trans. Automat. Contr.

View full text Add to dashboard Cite

Since the timed supervisory control framework was proposed, it has been adopted in many subsequent developments in various areas. Yet, the mechanism of explicitly enumerating time in terms of sequences of ticks significantly increases the number of states, causing major computational challenges in supervisor synthesis. To overcome this challenge, in this work we develop a theory of supervisory control of time-interval discrete event systems, whereby intervals are used to compactly encode sequences of ticks. By introducing the concepts of free and coercive (interval) languages, we are able to describe the impact of event forcing (i.e., time preemption) in a resulting time-interval language, upon which we introduce controllability property. It turns out that coercive languages are not closed under union, in contrast to free languages. The supremal controllable coercive sublanguage for a given time-interval plant and time-interval requirement exists, which can be computed by a synthesis algorithm presented in this paper.

show abstract

“…Despite the well-known complexity shortcomings of timed transition graphs as TDES models (Knap, 2001;Gohari and Wonham, 2003), the real-time nonblocking control theory (Brandin and Wonham, 1994) and its subsequent developments form a mathematically rigorous body of conceptually rich work based on this graph model. These developments include work on supervisor reduction (Gohari and Wonham, 2003), efficient control synthesis using binary decision diagrams (BDD's) (Saadatpoor and Wonham, 2007), control under partial observation (Lin and Wonham, 1995;Cai et al, 2014), nonblocking control with communication delay (Park and Cho, 2008), specification automaton transparency for validation (Dhananjayan and Seow, 2015) and translation (Dhananjayan and Seow, 2014) from a class of real-time temporal logic, decentralized control Takai, 2011, 2013;Sadid et al, 2014), modular control (Ho, 2003;Schafaschek et al, 2017), localized or distributed control (Zhang et al, 2013) and that with communication delay (Zhang et al, 2014), and hierarchical control (Wong and Wonham, 1996;Saadatpoor, 2009). In our research, we add to this intellectually promising body of real-time control research by extending the monolithic control theory for TDES's (Brandin and Wonham, 1994) to hierarchical control.…”

mentioning

confidence: 99%

A hierarchical consistency framework for real-time supervisory control

Ngo

Seow²

2018

Discrete Event Dyn Syst

Self Cite

View full text Add to dashboard Cite

The control framework of hierarchical consistency of timed discrete-event systems (TDES's) is investigated in a standard two-level hierarchy. Real-time concepts and the associated theoretical results supporting consistent TDES hierarchies are developed. Where the given low-level system model of the hierarchy possesses time fidelity, a consistency version that assures time fidelity of the high-level system model is also developed. Importantly, this version furnishes a sound real-time high-level specification design foundation for hierarchical control. An example illustrates the new time-fidelity control foundation. Given that in general, a given two-level TDES hierarchy is not hierarchically consistent between the levels, the structural existence and synthesis of the sufficiency structure for hierarchical consistency is investigated. Both the timed versions of hierarchical consistency -without and with output-time fidelity guarantee -are successively treated. The abstraction or output-system refinement procedures for the version without output-time fidelity guarantee are first developed for a class of TDES hierarchies under mild output-system design restrictions. The abstraction methods for the version with output-time fidelity are then developed for a subclass 'linearly' structured under further output-system design restrictions. A detailed example explains and illustrates the use of an overarching method developed.Keywords Hierarchical control ¨timed discrete-event systems ¨formal languages ¨finite automata. IntroductionUnder the general framework of formal languages and finite (or finite-state) automata, the seminal concept of hierarchical consistency for logical or untimed discrete-event systems (DES's) (Zhong and Wonham, 1990) is suitably extended to timed DES's (TDES's) in this paper. In a two-level, untimed hierarchical control setup, conceptualized in (Zhong and and algorithmically realized in (Ngo and Seow, 2014a), the system at the low level drives the system at the high level which is an abstraction of the former, via an information channel modeled by a hierarchical reporter map. Depicted in Fig. 1, this setup consists of two horizontal levels of standard feedback control which are vertically interconnected so that a manager at the high level (or high-level supervisor) can issue commands to an operator at the low level (or low-level supervisor) to control a real DES modeled by a Moore automaton (Eilenberg, 1974), in response to information of interest sent up from the low level to the high level. By hierarchical consistency between the levels (Zhong and , a low-level supervisor implementing feasible commands issued (or virtual controls) at the high level can fully realize a controllable prefix-closed specification task (Ramadge and Wonham, 1987) prescribed at the high level. The importance of hierarchical control stems from the fact that, in general, a hierarchical structure conforms better to practice and renders a given system more manageable for system specification and control in terms of large-sca...

show abstract

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

Cited by 10 publications

References 32 publications

Exploiting Requirement Validation Techniques for Assessing the Software’s Quality in Pakistan

Exploiting Requirement Validation Techniques for Assessing the Software’s Quality in Pakistan

Supervisory Control of Time-Interval Discrete Event Systems

A hierarchical consistency framework for real-time supervisory control

Contact Info

Product

Resources

About