A system in which discrete variables and continuous variables are mixed is called a hybrid system. Many models have been proposed for the description of hybrid systems. A model graphically describing the causality relationship between the variables is the hybrid Petri net (HPN). A model in which the concept of time is introduced into the HPN is the timed HPN (THPN). In this paper, with regard to the THPN with an external input place (THPNIP), state feedback control is discussed in the case where the control specifications are given by a predicate on the reachable set. In THPNIP, in general there is no guarantee that the maximum permissive feedback, which is the maximum element in the set of the state feedback satisfying the control specification, will exist. Hence, the necessary and sufficient conditions are presented for the existence of the maximum permissive feedback. © 2003 Wiley Periodicals, Inc. Electron Comm Jpn Pt 3, 87(1): 83–89, 2004; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/ecjc.10011
[1]
Shigemasa Takai,et al.
Concurrency and maximally permissive feedback in Petri nets with external input places
,
1994
.
[2]
Tadao Murata,et al.
Petri nets: Properties, analysis and applications
,
1989,
Proc. IEEE.
[3]
Toshimitsu Ushio,et al.
Maximally permissive feedback and modular control synthesis in Petri nets with external input places
,
1990
.
[4]
P. Ramadge,et al.
Supervisory control of a class of discrete event processes
,
1987
.
[5]
P. Ramadge,et al.
Modular feedback logic for discrete event systems
,
1987
.