Control Logic

Control logic for modeling reactive systems

Control logic is the part of the controller that defines how a reactive system responds to events or conditional changes. Applications for control logic include:

• Scheduling a sequence of tasks or steps for a system
• Defining fault detection, isolation, and recovery logic
• Supervising how to switch between different modes of operation

You can model controllers with Simulink and control logic with Stateflow. With these products, you can:

• Model hierarchical state machines for large-scale systems
• Add flow graphs charts to define complex control logic
• Define orthognal states to represent systems with parallelism

General Introduction

• Stateflow Overview 1:58 (Video)
• Introduction to Stateflow for Controls Applications 22:01 (Video)
• Modeling Logic in Communications Applications (Part 1) 8:20 (Video)
• Finite State Machine Concepts (Documentation)

Aerospace and Defense Applications

• Fault Detection for an Aircraft Control System (Example)
• Develop Logic for a Launch Abort System 12:46 (Video)
• Spacecraft Automated Landing System 17:56 (Video)
• Requirements-Based Testing in Aircraft Control Design (AIAA Paper)

Automotive Applications

• Modeling a Fault-Tolerant Fuel Control Systems (Example)
• Automotive Powertrain Control System 17:21 (Video)
• Automatic Transmission Control (Example)
• Hybrid Electric Vehicle Modeling and Simulation (Webinar)

See also: finite state machine, state diagram, control systems, state-chart