Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset.
Martin OuimetGuillaume BerteauKristina LundqvistPublished in: MoDELS (Workshops) (2006)
Keyphrases
- state machine
- state machines
- finite state machines
- petri net
- modeling language
- fault tolerant
- real time
- natural language
- case study
- high level
- programming language
- discrete event
- optimal control
- model driven engineering
- intermediate level
- closed loop
- language learning
- object oriented
- control system
- reinforcement learning