The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
A limitation of the Ramadge and Wonham (RW) framework for the supervisory control theory is the explicit state representation using finite automata, often resulting in complex and unintelligible models. Extended finite automata (EFAs), i.e., deterministic finite automata extended with variables, provide compact state representation and then make the control logic transparent through logic expressions...
An abstraction method for Extended Finite Automata (EFAs), i.e., finite automata extended with variables, using transition projection is presented in this work. A manufacturing system modeled by EFAs is abstracted into subsystems that embody internal interacting dependencies. Synthesis and verification of subsystems are achieved through their model abstractions rather than their global model. Sufficient...
EAST-ADL2 is a domain-specific architecture description language to support the model-based development of automotive embedded systems. It emerged to manage the complexity of software and electronics in advanced automotive applications. The language focuses on the structural definition for functional specifications. Behavior is defined only on the component level, in terms of functional blocks and...
Operational decision is a kind of risk decision. Meanwhile, human being's rationality is limited. So the commander can not always make optimal decision and his risk propensity in operational decision is not constant. Prospect theory (PT) describes how individual and groups make choices under risk and is designed to explain preference. This paper proposes a Computer Generated Forces (CGF) agent framework...
In order to represent human behaviors realistically, quickly, and conveniently in domain of computer generated forces, it is a working point to develop an integrated behavior modeling and simulation environment (IBMSE). First, we present a method to develop the IBMSE based on the process of behavior modeling. Secondly, we show the IBMSE framework, describe every level and their correlations. And then,...
Emotions play a powerful, central role in our lives. They can influence human behaviors and guide human to adapt to the environment. This paper suggests that human emotion space consists of three kinds of emotions: cognitive emotion, expected emotion and reflex emotion. The human behavior is also divided into two kinds: cognitive behavior and reflex behavior. The emotion generating mechanism and the...
HLA based simulations on WAN/Internet usually face firewall issues; Meanwhile, Web service has better programming interoperability on WAN/Internet. Therefore service provisioning of HLA RTI as Web services is a promising solution. The author presents an approach to service provisioning of HLA RTI as Web services. This approach defines a new component as an extension to existing RTIs, called the RTI...
A flexible decentralized and hierarchical architecture is presented to reduce computational effort in designing optimal nonblocking supervisors for discrete-event systems (DES). We organize a DES into modular subsystems that embody internal interacting dependencies. Verification of, and coordination among modular subsystems are achieved through their model abstractions. Sufficient conditions are presented...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.