Normal processes for modeling the desired behavior of distributed autonomous discrete event systems
Journal of Automata, Languages and Combinatorics
Hybrid Systems with Finite Bisimulations
Hybrid Systems V
A Geometric Approach to Bisimulation and Verification of Hybrid Systems
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Aggregation in Hierarchical Discrete-Event Systems
Discrete Event Dynamic Systems
Lose Fat, Not Muscle: An Examination of Supervisor Reduction in Discrete-Event Systems
Discrete Event Dynamic Systems
System approach to synthesis, modeling and control of complex dynamical systems
WSEAS Transactions on Systems and Control
A summary of some discrete-event system control problems
CIAA'10 Proceedings of the 15th international conference on Implementation and application of automata
Automatica (Journal of IFAC)
Hi-index | 0.00 |