Absolute Time Temporal Logic Using the DURATION Operator
Automatic Transmission Control
Modeling a Fitness Watcher
Bang-Bang Control Using Temporal Logic
Modeling a CD Player/Radio using Enumerated Data Types
Sequence Recognition Using Mealy and Moore Charts
Choose your location to get translated content where available and see local events and
offers. Based on
your location, we recommend that you select: .
You can also select a location from the following list:
Select the China site (in Chinese or English) for best site performance. Other MathWorks country sites are not optimized for visits from your location.