Your browser does not support JavaScript!
http://iet.metastore.ingenta.com
1887

Learning by doing: systematic abstraction refinement for hybrid control synthesis

Learning by doing: systematic abstraction refinement for hybrid control synthesis

For access to this article, please select a purchase option:

Buy article PDF
£12.50
(plus tax if applicable)
Buy Knowledge Pack
10 articles for £75.00
(plus taxes if applicable)

IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.

Learn more about IET membership 

Recommend Title Publication to library

You must fill out fields marked with: *

Librarian details
Name:*
Email:*
Your details
Name:*
Email:*
Department:*
Why are you recommending this title?
Select reason:
 
 
 
 
 
IEE Proceedings - Control Theory and Applications — Recommend this title to your library

Thank you

Your recommendation has been sent to your librarian.

The synthesis of discrete event controllers for given continuous dynamics is studied within the hybrid system theory and its applications. A common approach involves the generation of a discrete abstraction of the continuous plant model, thus transforming the hybrid control problem into a purely discrete one that is then addressable using methods from the discrete event systems theory. In previous work, conditions were derived guaranteeing that successful synthesis on the abstraction level would provide a solution for the underlying hybrid problem. If synthesis failed, however, the abstraction was in need of refinement. This resulted in an iterative procedure alternating abstraction refinement with trial controller synthesis. The authors now use a temporal decomposition of the control problem to extract relevant diagnostic information when the synthesis step fails. In contrast with standard unfocused and global refinement strategies, the new iteration ‘learns by doing’ in the synthesis step and implements a refinement that is tailored to the particular hybrid plant and specification at hand.

References

    1. 1)
    2. 2)
      • J.C. Willems . Models for dynamics. Dyn. Rep. , 172 - 269
    3. 3)
      • T. Moor , J. Raisch , S.D. O'Young . Discrete supervisory control of hybrid systems based on l-complete approximations. J. Discrete Event Dyn. Syst. , 83 - 107
    4. 4)
      • Philips, P., Weiss, M., Preisig, H.A.: `Control based on discrete-event models of continuous systems', Proc. European Control Conf., 1999.
    5. 5)
      • A. Angulin , C.H. Smith . Inductive inference: theory and methods. Comput. Surv. , 3 , 237 - 269
    6. 6)
      • Henzinger, T.A.: `The theory of hybrid automata', Proc. 11th Annual IEEE Symp. (LICS'96), 1996, IEEE Computer Society Press, p. 278–292.
    7. 7)
    8. 8)
    9. 9)
      • C. Baier , M.Z. Kwiatkowska . On topological hierarchies of temporal properties. Fundam. Inform. , 259 - 294
    10. 10)
      • J.C. Willems . Paradigms and puzzles in the theory of dynamic systems. IEEE Trans. Autom. Control , 258 - 294
    11. 11)
      • E.M. Clarke , A. Fehnker , Z. Han , B.J. Krogh , J. Ouaknine , O. Stursberg , M. Theobald . Abstraction and counterexample-guided refinement of hybrid systems. Int. J. Found. Comput. Sci. , 583 - 604
    12. 12)
      • Moor, T., Davoren, J.M., Raisch, J.: `Strategic refinements in abstraction based supervisory control of hybrid systems', Proc. 6th Int. Workshop on Discrete Event Systems (WODES), 2002, Zaragoza, Spain, p. 329–334.
    13. 13)
      • T. Moor , J. Raisch , S. Engell , G. Frehse , E. Schnieder . (2002) Abstraction based supervisory controller synthesis for high order monotone continuous systems, Modelling, analysis and design of hybrid systems.
    14. 14)
      • B.A. Krogh , A. Chutinan , P.M. Frank . (1999) Hybrid systems: modeling and supervisory control, Advances in control, highlights of ECC'99.
    15. 15)
    16. 16)
      • Stursberg, O., Fehnker, A., Han, Z., Krogh, B.H.: `Specification-guided analysis of hybrid systems using a hierarchy of validation methods', Proc. IFAC Conf. on the Analysis and Design of Hybrid Systems (ADHS'03), 2003.
    17. 17)
      • Lunze, J., Nixdorf, B., Richter, H.: `Hybrid modelling of continuous-variable systems with application to supervisory control', Proc. European Control Conf., 1997.
    18. 18)
    19. 19)
    20. 20)
    21. 21)
      • Moor, T., Davoren, J.M., Anderson, B.D.O.: `Robust hybrid control from a behavioural perspective', IEEE Proc. 41st Int. Conf. on Decision and Control, 2002, p. 1169–1174.
    22. 22)
      • J.M. Davoren , T. Moor , A. Nerode , C.J. Tomlin , M.R. Greenstreet . (2002) Hybrid control loops, a/d maps, and dynamic specifications, Hybrid systems: computation and control (HSCC'02).
    23. 23)
      • Moor, T., Raisch, J.: `Think continuous, act discrete: DES techniques for continuous systems', Proc. 10th Mediterranean Conf. on Control and Automation, 2002.
http://iet.metastore.ingenta.com/content/journals/10.1049/ip-cta_20050347
Loading

Related content

content/journals/10.1049/ip-cta_20050347
pub_keyword,iet_inspecKeyword,pub_concept
6
6
Loading
This is a required field
Please enter a valid email address