所需积分/C币:46 2018-09-05 15:12:20 3.5MB PDF
收藏 收藏

Revision History June 2004 First printing New for Version 6.0(Release 14) October 2004 Online only Revised for Version 6. 1(Release 14SP1) March 2005 Online only Revised for Version 6.2(Release 14SP2) September 2005 Online only Revised for version 6. 3(Release 14SP3 October 2005 Reprint Version 6.0 March 2006 Second printing Revised for version 6.4 (Release 2006a) September 2006 Reprint Version 6.5(Release 2006b) March 2007 Online only Rereleased for Version 6.6(Release 2007a) September 2007 Third printing Rereleased for Version 7.0(Release 2007b) March 2008 Fourth printing Revised for Version 7. 1(Release 2008a) October 2008 Fifth printing Revised for Version 7. 2(Release 2008b March 2009 Sixth printing Revised for Version 7. 3(Release 2009a) September 2009 Online only Revised for Version 7.4(Release 2009b arch 2010 Online only Revised for Version 7.5 (Release 2010a) September 2010 Online only Revised for Version 7.6(Release 2010b) april 2011 Seventh printing Revised for Version 7. 7(Release 2011a) September 2011 Online only Revised for version 7.8(Release 2011b) March 2012 Online only Revised for Version 7.9(Release 2012a) September 2012 Online only Revised for version 8.0(Release 2012b) March 2013 Online only Revised for Version 8. 1(Release 2013a) September 2013 Online only Revised for Version 8.2(Release 2013b March 2014 Online only Revised for Version 8.3(Release 2014a October 2014 Online only Revised for Version 8.4(Release 2014b) March 2015 Online only Revised for Version 8.5 (Release 2015a September 2015 Online only Revised for Version 8.6(Release 2015b) October 2015 Online only Rereleased for Version 8.5. 1(Release 015aSP1) March 2016 Online only Revised for version 8.7(Release 2016a) September 2016 Online only Revised for Version 8.8(Release 2016b) March 2017 Online only Revised for version 8. 9(Release 2017a) September 2017 Online only Revised for version 9.0(Release 2017b March 2018 Online only Revised for Version 9. 1(Release 2018a) Contents Introduction to the stateflow product 1 Stateflow Product Description 1-2 Key Features 1-2 Use Stateflow to model finite state machines 1-3 Example of a Stateflow Chart Trigger transitions with Events 4 Control flow with state actions 7 Explore the Examples 1-8 Construct and execute a stateflow chart 1-13 Open the Stateflow Editor 1-13 Add states and transitions 1-15 Resolve Undefined Symbols 1-15 Complete the Model 1-16 Simulate and examine the results Define Chart Behavior by Using Actions 1-21 State Action Types 1-22 Transition Action Types 1-23 Examine chart behavior 1-24 Create a Hierarchy to Manage System Complexity 1-27 State hierarch 1-27 Example of Hierarchy 1-27 Simplify Chart Appearance by Using Subcharts 1-30 Explore the Example 1-33 Model Synchronous Subsystems by Using Parallelism 1-35 State Decomposition 1-35 Example of Parallel decomposition 1-36 Order of execution for parallel states 1-37 Explore the Example 1-38 Synchronize Parallel states by broadcasting events Broadcasting Local events 1-41 Example of Event broadcasting......... 1-41 Coordinate with other simulink blocks 1-43 Explore the Example 1-45 Monitor Chart Activity by Using Active State Data 1-49 Active state data 1-49 Example of Active State Data Behavior of Traffic Controller Subcharts 1-50 1-52 Explore the example 1-55 Schedule chart actions by Using Temporal Logic 1-60 Temporal Logic Operators 1-60 Example of Temporal Logic ............. 1-61 Timing of Bang-Bang Cycle 1-62 Timing of Status LED 1-64 Explore the Example 1-67 Installing Stateflow Software 1-71 Installation instructions 1-71 Prerequisite Software 1-71 Product Dependencies 1-71 Set Up Your Own Target Compiler 1-72 USing Stateflow Software on a Laptop Computer 1-72 The Stateflow Chart You will build 2 The stateflow chart 2-2 How the stateflow chart works with the simulink model,,, 2-6 A Look at the Physical Plant 27 Running the Model 29 vi Contents Defining the Interface to the simulink model 3 Implementing the Interface with Simulink 3-2 Build It Yourself or Use the Supplied Model 3-2 Design Considerations for Defining the Interface 3-2 Adding a Stateflow Block to a Simulink Model 3-3 Defining the Inputs and Outputs 3-8 Connecting the stateflow block to the Simulink subsystem 3-15 Defining the states for Modeling Each Mode of Operation Implementing the States to Represent Operating Modes.... 4-2 Build It Yourself or Use the Supplied Model 4-2 Design Considerations for Defining the States 42 Adding the Power on and Power off States 46 Adding and Configuring Parallel States 4-8 Adding the on and off States for the Fans 4-13 Defining Transitions Between States Adding the Transitions 5-2 Build It Yourself or Use the Supplied Model 5-2 Design Considerations for Defining Transitions Between states 5-2 Drawing the Transitions Between States 5-4 Adding Default Transitions 5-7 Adding Conditions to Guard Transitions 5-10 Adding Events to Guard Transitions 5-11 Triggering a Stateflow Chart 6 Implementing the Triggers 6-2 Build It Yourself or Use the Supplied Model 6-2 Design Considerations for Triggering Stateflow Charts 6-2 Defining the CLOCK Event 6-3 Connecting the Edge-Triggered Events to the Input Signals.. 6-4 Simulating the chart Setting Simulation Parameters and Breakpoints 7-2 Prepare the Chart Yourself or Use the Supplied Model... 7-2 Checking That Your Chart Conforms to Best Practices 7-2 Setting the length of the simulation 7-3 Configuring animation for the Chart 7-4 Setting Breakpoints to Observe Chart Behavior Simulating the Air Controller Chart 7-5 Debugging the Chart 8 Debugging Common Modeling Errors 8-2 Debugging State Inconsistencies 8-2 Debugging Data Range violations 8-4 viii Contents 1 Introduction to the stateflow Product This chapter describes the basics of stateflow event-based modeling software and its components Stateflow Product Description"on page 1-2 "Use Stateflow to Model Finite State Machines"on page 1-3 Construct and Execute a Stateflow Chart"on page 1-13 Define Chart behavior by using actions"on page 1-21 Create a hierarchy to Manage System Complexity"on page 1-27 Model Synchronous Subsystems by Using Parallelism"on page 1-35 Synchronize Parallel states by Broadcasting Events"on page 1-41 Monitor Chart activity by using active State Data"on page 1-49 Schedule Chart Actions by Using Temporal Logic"on page 1-60 Installing Stateflow Software"on page 1-71 1 Introduction to the Stateflow Product Stateflow Product Description Model and simulate decision logic using state machines and flow charts Stateflow is an environment for modeling and simulating combinatorial and sequential decision logic based on state machines and flow charts. Stateflow lets you combine graphical and tabular representations, including state transition diagrams, flow charts, state transition tables, and truth tables, to model how your system reacts to events, time based conditions, and external input signals With Stateflow you can design logic for supervisory control, task scheduling and fault management applications. Stateflow includes state machines animation and static and run-time checks for testing design consistency and completeness before implementation Key Features Modeling environment, graphical components, and simulation engine for modeling and simulating complex logic Deterministic execution semantics with hierarchy, parallelism, temporal operators, and events State diagrams, state transition tables, and state transition matrices representing finite state machines MATLABR and Simulink@ representations of periodic and continuous algorithms in Stateflow charts truth tables and flow charts State diagram animation, state activity and data visualization, and integrated debugging for analyzing the design and detecting run-time errors Edit-time and run-time checks for cyclic problems, state inconsistencies, data- range violations, and overflow conditions Mealy and moore finite-state machines 1-2

试读 127P Stateflow开发手册
立即下载 低至0.43元/次 身份认证VIP会员低至7折
    qq_42719203 官方自带的文档还好意思上传,还需要积分下载,无语!一文不值!
    关注 私信 TA的资源
    Stateflow开发手册 46积分/C币 立即下载


    46积分/C币 立即下载 >