Sage Journals: Discover world-class research

Retricted access

Research article

First published 2018-9

Configuration space–based discrete event system specification formalism for a smart factory with real-time flexibility

Dae S Chang, Sang C Park

Concurrent Engineering

Retricted access

Research article

First published 2014-3

An introduction to Timed Sequential Machines

Norbert Giambiasi

SIMULATION

Retricted access

Research article

First published 2023-5

Discrete-time event-based coordinated formation control of multiple AUVs with time-varying delay and alterable topology

Haomiao Yu, Zhenfang Zeng, Ke Li

Proceedings of the Institution of Mechanical Engineers,Part I: Journal of Systems and Control Engineering

Retricted access

Research article

First published 2016-8

System entity structure extension to integrate abstraction hierarchies and time granularity into DEVS modeling and simulation

Jean-François Santucci, Laurent Capocchi, Bernard P Zeigler

SIMULATION

Open access

Research article

First published 2021-7

A DEVS-based engine for building digital quadruplets

Daniella Niyonkuru, Gabriel Wainer

SIMULATION

Open access

Research article

First published 2019-11

A particle filter-based data assimilation framework for discrete event simulations

Xu Xie, Alexander Verbraeck

SIMULATION

Retricted access

Research article

First published 2024-6

Discrete-event simulation of continuous-time systems: evolution and state of the art of quantized state system methods

Rodrigo Castro, Mariana Bergonzi, Ezequiel Pecker Marcosig [...]

SIMULATION

Retricted access

Research article

First published 2004-11

SACHEM,a Real-Time Intelligent Diagnosis System Based on the Discrete Event Paradigm

Marc Le Goc

SIMULATION

Retricted access

Research article

First published 2012-3

A modeling and simulation-based methodology to support dynamic negotiation for web service applications

Moath Jarrah, Bernard Zeigler

SIMULATION

Retricted access

Research article

First published 2006-4

Towards Integrated Verification of Timed Transition Models

Mark Lawford, Vera Pantelic, Hong Zhang

Fundamenta Informaticae

Search results