Scope for industrial applications of production scheduling models and solution methods
I Harjunkoski, CT Maravelias, P Bongers… - Computers & Chemical …, 2014 - Elsevier
This paper gives a review on existing scheduling methodologies developed for process
industries. Above all, the aim of the paper is to focus on the industrial aspects of scheduling …
industries. Above all, the aim of the paper is to focus on the industrial aspects of scheduling …
A Tutorial on Uppaal
This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of
timed automata implemented in the tool, to present its interface, and to explain how to use …
timed automata implemented in the tool, to present its interface, and to explain how to use …
Uppaal SMC tutorial
This tutorial paper surveys the main features of Uppaal SMC, a model checking approach in
Uppaal family that allows us to reason on networks of complex real-timed systems with a …
Uppaal family that allows us to reason on networks of complex real-timed systems with a …
Testing real-time systems using UPPAAL
This chapter presents principles and techniques for model-based black-box conformance
testing of real-time systems using the Uppaal model-checking tool-suite. The basis for …
testing of real-time systems using the Uppaal model-checking tool-suite. The basis for …
[图书][B] Real-time systems: scheduling, analysis, and verification
AMK Cheng - 2003 - books.google.com
Test und Validierung spielen bei Echtzeitsystemen eine zentrale Rolle: Auf die
Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem …
Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem …
Infinite runs in weighted timed automata with energy constraints
We study the problems of existence and construction of infinite schedules for finite weighted
automata and one-clock weighted timed automata, subject to boundary constraints on the …
automata and one-clock weighted timed automata, subject to boundary constraints on the …
Performance analysis of probabilistic timed automata using digital clocks
Probabilistic timed automata, a variant of timed automata extended with discrete probability
distributions, is a modelling formalism suitable for describing formally both nondeterministic …
distributions, is a modelling formalism suitable for describing formally both nondeterministic …
Optimal scheduling using priced timed automata
G Behrmann, KG Larsen, JI Rasmussen - ACM SIGMETRICS …, 2005 - dl.acm.org
This contribution reports on the considerable effort made recently towards extending and
applying well-established timed automata technology to optimal scheduling and planning …
applying well-established timed automata technology to optimal scheduling and planning …
Cooperative product agents to improve manufacturing system flexibility: A model-based decision framework
Due to the advancements in manufacturing system technology and the ever-increasing
demand for personalized products, there is a growing desire to improve the flexibility of …
demand for personalized products, there is a growing desire to improve the flexibility of …
Time-Optimal Real-Time Test Case Generation Using Uppaal
Testing is the primary software validation technique used by industry today, but remains ad
hoc, error prone, and very expensive. A promising improvement is to automatically generate …
hoc, error prone, and very expensive. A promising improvement is to automatically generate …