Filters
On tick automata for distributed timed DESs with synchronisations and minimal time constraints
This paper is about the representations of distributed timed discrete event systems (DESs) with synchronisation events and minimal time constraints. A subclass of Timed Petri nets with sp...
Automation and control systems
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Modelling of Batch Processes in WITNESS 2001 Simulator Environment
Simulation of discrete event systems is a powerful method for evaluating dynamic behaviour of processes. Discrete event systems, as opposed to dynamic systems andnetworks theory. Typical ...
JD - Využití počítačů, robotika a její aplikace
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
Control of real-time discrete event systems with hybrid controllability of events.
Annotation not available...
BD - Teorie informace
- 1993 •
- D
Rok uplatnění
D - Stať ve sborníku
Supervisory Control of Heap Models Using Synchronous Composition
Heaps models are powerful models for concurrent timed discrete event systems of logical discrete event systems we introduce parallel composition of heap models ( represented by another he...
BA - Obecná matematika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
On conditional decomposability
decomposability to nonblockingness of modular discrete-event systems is also discussed on a specification language in the coordination supervisory control framework of discrete-event systems. In ...
BA - Obecná matematika
- 2012 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
FPGA Based Testing of Hybrid Real-time Systems
-in-the-Loop (HIL) tester tool, based on both the discrete event system theory, given by timed automata, and the continuous systems theory, given by difference equations.It and extensibility as well. We fo...
JC - Počítačový hardware a software
- 2007 •
- O
Rok uplatnění
O - Ostatní výsledky
Comparison of Enhanced Markov Models and Discrete Event Simulation
The paper presents model based approaches for evaluating and validating the tempoval and safety relevant properties of SW intensive safety-critical real-time embedded systems. Discrete time simulation and Markov pr...
IN - Informatika
- 2014 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Supervisory control of parallelly interconnected timed discrete event systems.
Annotation not available...
BD - Teorie informace
- 1994 •
- D
Rok uplatnění
D - Stať ve sborníku
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems
Modular discrete event systems are modeled as a parallel composition of finite for monolithic systems is PSPACE-complete, the complexity for modular systems is unknown. We show that for modular systems...
Pure mathematics
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Supervisory Control of ( max,+ ) Automata: Timing Aspects
An important class of both timed automata and weighted automata are the ( max,+ ) automata. They are used as a model of a class of timed discrete event systems and their supervisory control is developed. T...
BA - Obecná matematika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 318 906