Skip to main content
Springer Nature Link
Log in

Distributed inversion in timed discrete event systems

  • Published:
Discrete Event Dynamic Systems Aims and scope Submit manuscript

    We’re sorry, something doesn't seem to be working properly.

    Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Abstract

We consider a discrete event system (DES) modeled by a timed automaton with partial state and event observations. We view the system as an input-output system, where the input is a sequence of event lifetimes, and the output is the resulting sequence of events, states, and transition epochs. We consider the problem of extracting event lifetimes (input) from observations of the output trajectory, which we callinversion. We give necessary and sufficient conditions forinvertibility, and an algorithm that extracts event lifetimes from any given output observation of an invertible system. We describe a distributed timed DES model based on the prioritized synchronous product of subsystems, and study the inversion problem in this framework. We show that invertibility in the subsystems implies invertibility in the global system. To illustrate our results, we provide an example of a tandem network.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Balemi, S., Hoffman, G. J., Gyugyi, P., Wong-Toi, H., and Franklin, G. F. 1993. Supervisory control of a rapid thermal multiprocessor.IEEE Trans. Autom. Control 38(7): 1040–1059.

    Google Scholar 

  • Cassandras, C. G. 1993.Discrete Event Systems: Modeling and Performance Analysis. Homewood, IL: Richard D. Irwin, Inc., and Aksen Assoc., Inc.

    Google Scholar 

  • Cassandras, C. G., and Strickland, S. 1989b. Observable augmented systems for sensitivity analysis of Markov and semi-Markov processes.IEEE Trans. Autom. Control 34(10): 1026–1037.

    Google Scholar 

  • Cassandras, C. G., and Strickland, S. 1989a. On line sensitivity analysis of Markov chains.IEEE Trans. Autom. Control 34(1): 76–86.

    Google Scholar 

  • Cassandras C. G., and Strickland, S. 1989c. Sample path properties of timed discrete event systems.Proc. of the IEEE 77(1): 59–71.

    Google Scholar 

  • Chong, E. K. P. 1993. On the construction of sample paths of discrete event systems in parallel.Proc. of 32nd Conf. Decision and Control, San Antonio, TX, pp. 2205–2210.

  • Cieslak, R., Desclaux, C., Fawaz, A., and Varaiya, P. 1988. Supervisory control of discrete-event processes with partial observations.IEEE Trans. Autom. Control 33(3): 249–260.

    Google Scholar 

  • Glasserman, P. 1991.Gradient Estimation via Perturbation Analysis. Norwell, MA: Kluwer Academic Publishers.

    Google Scholar 

  • Heymann, M. 1990. Concurrency and discrete event control.IEEE Control System Magazine 10(4): 103–112.

    Google Scholar 

  • Ho, Y.-C., and Cao, X.-R. 1991.Perturbation Analysis of Discrete Event Dynamic Systems. Norwell, MA: Kluwer Academic Publishers.

    Google Scholar 

  • Lafortune, S., and Chen, E. 1990. The infimal closed controllable superlanguage and its application in supervisory control.IEEE Trans. Autom. Control 35(4): 398–405.

    Google Scholar 

  • Lafortune, S., and Chen, E. 1991. A relational algebraic approach to the representation and analysis of discrete event systems.Proc. of 1991 American Control Conference, Boston, MA.

  • Lin, F., and Wonham, W. 1990. Decentralized control and coordination of discrete event systems with partial observation.IEEE Trans. Autom. Control 35(12): 1330–1337.

    Google Scholar 

  • Özveren, C. M., and Willsky, A. S. 1992. Invertibility of discrete-event dynamic systems.Mathematics of Control, Signals, and Systems 5: 365–390.

    Google Scholar 

  • Park, Y., and Chong, E. K. P. 1993d. Inversion of timed Petri nets.Proc. of 8th IEEE International Symposium on Intelligent Control, Chicago, IL, pp. 285–290.

  • Park, Y., and Chong, E. K. P. 1993b. On the eventual invertibility of discrete event systems and its applications.Proc. of 32nd Conf. Decision and Control, San Antonio, TX, pp. 680–685.

  • Park, Y., and Chong, E. K. P. 1993e. On the eventual invertibility of timed Petri nets.Proc. of 36th IEEE Midwest Symposium on Circuits and Systems, Detroit, MI.

  • Park, Y., and Chong, E. K. P. 1993a. Structural sensitivity analysis of discrete event systems by inversion.Proc. of 1993 American Control Conference, San Francisco, CA, pp. 1214–1218.

  • Park, Y., and Chong, E. K. P. 1994. Sensor assignment for invertibility in interruptive timed discrete event systems.Proc. of 9th IEEE International Symposium on Intelligent Control, Columbus, OH, pp. 213–218.

  • Ramadge, P. 1986. Observability of discrete event systems.Proc. of 25th Conf. Decision and Control, Athens, Greece, pp. 1108–1112.

  • Ramadge, P., and Wonham, W. 1989. The control of discrete event systems.Proc. of the IEEE 77(1): 81–98.

    Google Scholar 

  • Williams, K., Andersland, M., Gannon, J., Lumpp, J., and Casavant, T. 1993. Perturbation tracking.Proc. of 32nd Conf. Decision and Control, San Antonio, TX, pp. 674–679.

Download references

Author information

Authors and Affiliations

  1. School of Electrical Engineering, Purdue University, 47907-1285, West Lafayette, IN

    Yongseok Park & Edwin K. P. Chong

Authors
  1. Yongseok Park
    View author publications

    You can also search for this author inPubMed Google Scholar

  2. Edwin K. P. Chong
    View author publications

    You can also search for this author inPubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Park, Y., Chong, E.K.P. Distributed inversion in timed discrete event systems. Discrete Event Dyn Syst 5, 219–241 (1995). https://doi.org/10.1007/BF01439041

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01439041

Keywords