Control Software Engineering

← Back to Domain-Specific Abstractions by Domain

1 domain-specific abstractions whose origin domain is Control Software Engineering.

• Virtual finite-state machine — An executable software specification that models a control system through named input conditions, virtual states, transitions and output actions.