RPDEVS: Revising the Parallel Discrete Event System Specification
Sign Up to like & getrecommendations! Published in 2018 at "IFAC-PapersOnLine"
DOI: 10.1016/j.ifacol.2018.03.042
Abstract: Abstract In this work, we present a Revised Parallel DEVS (RPDEVS) formalism. The Classic Discrete Event System Specification (DEVS) and Parallel DEVS (PDEVS) formalisms do not support modelling of ‘true’ mealy behaviour, i.e. reacting to… read more here.
Keywords: discrete event; rpdevs; devs; system specification ... See more keywords
Discrete Event System Specification Framework for Self-Improving Healthcare Service Systems
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Systems Journal"
DOI: 10.1109/jsyst.2016.2514414
Abstract: A healthcare service system (HSS) is made of humans and technology where for the foreseeable future, self-improvement will be primarily based on human understanding rather than machine learning. Therefore, for such a system to continually… read more here.
Keywords: discrete event; system; service; system specification ... See more keywords
Synthesis of Robotic System Controllers Using Robotic System Specification Language
Sign Up to like & getrecommendations! Published in 2023 at "IEEE Robotics and Automation Letters"
DOI: 10.1109/lra.2022.3229231
Abstract: Robotic System Specification Language (RSSL) stems from the embodied agent approach to robotic system design. It enables the specification of both the structure and activities of a multi-robot multi-agent robotic system. RSSL specification can be… read more here.
Keywords: system; synthesis robotic; specification language; system specification ... See more keywords