Real time scheduling of batch systems

Julia, Stéphane; Valette, Robert

doi:10.1016/s0928-4869(00)00021-5

Cited by 17 publications

(15 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In a Petri net, distributed states are modelled with discrete tokens, which can be interpreted as processed units distributed over the plant (e.g., [74]). The popularity of Petri nets in industrial automation can also be attributed to the fact that the international standard for sequential function charts, which are used to design PLDs, is based on them [75].…”

Section: Logical Control In Artefactsmentioning

confidence: 99%

Achieving Closed‐Loop Control Simulation of Human‐Artefact Interaction: A Comparative Review

Vegte

Horváth

2011

Modelling and Simulation in Engineering

View full text Add to dashboard Cite

To include user interactions in simulations of product use, the most common approach is to couple human subjects to simulation models, using hardware interfaces to close the simulation-control loop. Testing with virtual human models could offer a lowcost addition to evaluation with human subjects. This paper explores the possibilities for coupling human and artefact models to achieve fully software-based interaction simulations. We have critically reviewed existing partial solutions to simulate or execute control (both human control and product-embedded control) and compared solutions from literature with a proof-of-concept we have recently developed. Our concept closes all loops, but it does not rely on validated algorithms to predict human decision making and low-level human motor control. For low-level control, validated solutions are available from other approaches. For human decision making, however, validated algorithms exist only to predict the timing but not the reasoning behind it. To identify decision-making schemes beyond what designers can conjecture, testing with human subjects remains indispensable.

show abstract

Section: Logical Control In Artefactsmentioning

confidence: 99%

Achieving Closed‐Loop Control Simulation of Human‐Artefact Interaction: A Comparative Review

Vegte

Horváth

2011

Modelling and Simulation in Engineering

View full text Add to dashboard Cite

show abstract

“…This process will be executed by the token player algorithm [19]. For example, we consider the following sequent: …”

Section: Proving a Linear Logic Sequentmentioning

confidence: 99%

Modeling of Interactive Storytelling and Validation of Scenario by Means of Linear Logic

Dang

Champagnat

Augeraud

2010

Interactive Storytelling

View full text Add to dashboard Cite

Abstract. Research on Interactive Storytelling has mainly focused on the opposition between a discourse point of view and a character point of view for a story. In this paper, we propose an approach to model Interactive Storytelling using Linear Logic, which is a support for reasoning on both points of view. Then we give an example on an educational game that shows the possibility of validating a scenario of a story, by applying the proof graph of a Linear Logic sequent. Finally we discuss about issues which should be settled and future works to be done on the Linear Logic approach for the IS modeling.

show abstract

“…The heuristic search for the scheduling is based on generating and checking the markings of the reachability tree. The main limitations of these branch and bound algorithms are the problem of the state space explosion, and the problem of obtaining an optimal solution in real-time (Julia and Valette, 2000).…”

Section: Related Workmentioning

confidence: 99%

“…For instance, in Lloyd (1994, 2000) , a p-timed Petri net (duration associated with each place) model is used to solve the optimum-scheduling problem, based on Petri nets execution and a branch and bound technique. The problem of using a timed Petri net model is that it is necessary to know the exact duration for all transformations, which is in practice impossible (Julia and Valette, 2000). For example, for a batch of milk to be boiled, it will have a minimum duration before which the milk will not boil and a maximum duration after which the milk will burn.…”

Section: Real-time Systems Modeling Based On Petri Netsmentioning

confidence: 99%