many real time processes have complex, uncertain and nonlinear dynamics. boilers are nonlinear, time varying, multi-input multi-output (mimo) systems, whose states generally vary with operating conditions. the major problem in controlling that system is that its drum water pressure and steam flow dynamics include an integrator that results a critically stable behavior. conventional controller p...

Discrete-event systems with only synchronisation and no concurrency, also known as timed event graphs or (max,+)-linear systems, have been studied by several authors. The synchronisation constraints that arise in these discrete-event systems are hard, i.e., they cannot be broken under any circumstance. In this paper we consider a more extended class of discrete-event systems with both hard and ...

The paper introduces a new formal model for specifying control paths in the context of asynchronous system design. The model, called Conditional Partial Order Graph (CPOG), is capable of capturing concurrency and choice in a system's behaviour in a compact and e cient way. A problem of CPOG synthesis is formulated and solved; various CPOG optimisation techniques are presented. The introduced mo...

Hierarchical Petri nets beside UML state machine diagrams, sequentional function charts (SFC) and hierarchical concurrent state machines are common solution for specification of logic controllers. These specification formats provide both concurrency and modeling on multi levels of abstraction (hierarchic approach). But only state machine diagrams supports exceptions handling in direct way. Prog...

Software testing is typically an ad hoc process where human testers manually write many test inputs and expected test results, perhaps automating their execution in a regression suite. This process is cumbersome and costly. This paper reports preliminary results on an approach to further automate this process. The approach consists of combining automated test case generation based on systematic...

In this paper, we propose a new concurrency control algorithm based on multi-agent systems which is an extension of majority protocol. Then, we suggest a clustering approach to get better results in reliability, decreasing message passing and algorithm’s runtime. Here, we consider n different transactions working on non-conflict data items. Considering execution efficiency of some different...

This presentation shows how “SyncCharts” can be used in the design of a controller. “SyncCharts” is a graphical synchronous formalism that inherits from Statecharts in its look and from Esterel in its foundations. SyncCharts supports hierarchical descriptions, concurrency and preemption. We use it to express the exepected behavior of control-dominated systems. Choosing the non trivial example o...

Software testing is typically an ad-hoc process where human testers manually write test inputs and descriptions of expected test results, perhaps automating their execution in a regression suite. This process is cumbersome and costly. This paper reports results on a framework to further automate this process. The framework consists of combining automated test case generation based on systematic...