385 search results - page 5 / 77 » Symbolic Controller Synthesis for Discrete and Timed Systems |
CDC
2008
IEEE
13 years 9 months ago
2008
IEEE
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
ICCS
2004
Springer
14 years 28 days ago
2004
Springer
Abstract: An application of the method suitable for modelling and control of general discrete event dynamic systems (DEDS) to special kinds of communication systems is presented in...
SAC
2006
ACM
13 years 7 months ago
2006
ACM
We propose a simple programming language, called Nemo, specific to the domain of multi-task real-time embedded systems, such as in robotic, automotive or avionics systems. It can ...
RTSS
1993
IEEE
13 years 11 months ago
1993
IEEE
AUTOMATICA
2008
13 years 7 months ago
2008
This paper addresses a supervisory control problem for uncertain timed discrete event systems (DESs) under partial observation. An uncertain timed DES to be controlled is represen...