Pages that link to "Item:Q450726"
From MaRDI portal
The following pages link to Modeling and control of discrete event systems using finite state machines with variables and their applications in power grids (Q450726):
Displaying 3 items.
- A framework for compositional nonblocking verification of extended finite-state machines (Q262429) (← links)
- On the index of convergence of a class of Boolean matrices with structural properties (Q5157961) (← links)
- An efficient simulation procedure for the expected opportunity cost using metamodels (Q6049054) (← links)
