системи різні і самі залежать як від впливів, так і від стану, в якому система знаходиться. Основна відмінність реактивних систем від трансформаційних - у принциповій непередбачуваності моментів надходження тих чи інших впливів. Ця непередбачуваність - наслідок мінливості умов, в яких такі системи працюють. Приклад простий реактивної системи - контролер світлофора, керованого пішоходами. Його входи ніколи не придбають закінченого вигляду - сигнали на них надходять постійно і в невідомій заздалегідь послідовності. В даний час для моделювання дискретної динаміки реактивних систем широко візуальний формалізм - Statechart (діаграми станів і переходів). Основні неграфічні компоненти таких діаграм - це подія і дія, основні графічні компоненти - стан і перехід.
Подія - щось, що відбувається поза розглянутої системи, можливо вимагаючи деяких дій у відповідь. Події можуть бути викликані надходженням деяких даних або деяких задають сигналів з боку людини або деякої іншої частини системи. Події вважаються миттєвими (для обраного рівня абстрагування).
Дії - це реакції модельованої системи на події. Подібно подіям, дії прийнято вважати миттєвими.
Стан - умови, в яких моделируемая система перебуває деякий час, протягом якого вона веде себе однаково. У діаграмі переходів стану представлені прямокутними полями з округленими кутами.
Перехід - зміна стану, зазвичай викликається деяким значною подією. Як правило, стан відповідає проміжку часу між двома такими подіями. Переходи показуються в діаграмах переходів лініями зі стрілками, що вказують напрямок переходу. Кожному переходу можуть бути співставлені умови, при виконанні яких перехід здійснюється. З кожним переходом і кожним станом можуть бути співвіднесені деякі дії. Дії можуть додатково позначатися як дії, що виконуються одноразово при вході в стан; дії, що виконуються багаторазово всередині деякого стану; дії, що виконуються одноразово при виході зі стану [16].
При проектуванні моделей реактивних систем Stateflow використовується разом з Simulink і за бажанням - з RTW ( Real-Time Workshop ) під керуванням MATLAB . Сукупність усіх Stateflow блоків в моделі Simulink - це машина. При використанні Simulink разом з Stateflow для моделювання, Stateflow генерує S -функцію для кожної Stateflow машини, щоб підтримувати моделювання. Цей згенерований код для моделювання називається sfun кодом Stateflow . Якщо необхідна робота моделі в реальному масштабі часу, Stateflow Coder дозволить згенерувати цілочисельний або з плаваючою точкою код, заснований на Stateflow машині. RTW згенерує код для Simulink частини моделі і забезпечить структуру для виконання згенерованого коду Stateflow в реальному масштабі часу. Код, згенерований Stateflow Coder включений в код, згенерований RTW . Ви можете отримати код, що згенерував обома продуктами для специфічної пла...
