http://iet.metastore.ingenta.com
1887

Discrete control systems

More general concepts than this:

1-1 of 1 results

Filter by subject:

< Any subject

  • Computer and control engineering [1]
  • Systems and control theory [1]
  • Mathematical techniques [1]
  • Combinatorial mathematics [1]
  • Systems theory and cybernetics [1]
  • Applications of systems theory [1]
  • Systems theory applications in industry [1]
  • Control theory [1]
  • Specific control systems [1]
  • Discrete control systems [1]
  • See more See less

Filter by content type:

Filter by publication date:

< Any publication date

  • 1996 [1]

Filter by author:

< Any author

Real-time synchronisation of multiaxis high-speed machines, from SFC specification to Petri net verification
Author(s): J. Jiang, D. Azzopardi, D.J. Holding, G.F. Carpenter, J.S. Sagoo
Source: IEE Proceedings - Control Theory and Applications, Volume 143, Issue 2, 1996 , p. 164 - 170
Type: Article
+ Show details - Hide details

The paper considers the co-ordination and control of flexible, independently driven, multiaxis, high-speed machinery in which mechanical complexity has been exchanged for sophistication in control. The control of such machines is a hybrid control problem and the paper addresses the specification and design of the discrete event part of the controller. It focuses on the design of synchronisation logic for the event-driven real-time co-ordination and synchronisation of the machine. For such time-critical and system-critical applications, it is imperative that system behaviour is fully understood and unambiguous. The paper proposes a method for inferring system behaviour and performing formal verification of machine systems specified using a subset of the industry standard IEC 1131 sequential function charts (SFC). It shows how an SFC-based design can be translated to an equivalent Petri net model, thereby allowing Petri net theory and analysis techniques to probe its behaviour and verify its functionality. The approach is demonstrated by considering the design of synchronisation logic for a prototype six-axis high-speed packaging machine which incorporates both time-critical and system-critical functions.

Add to favourites
Export citations
Items per page 20 | 50 | 100
Print this page
This is a required field
Please enter a valid email address