FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1873861044> ?p ?o ?g. }

• W1873861044 abstract "Specifying behaviors of multi-agent systems (MASs) is a demanding task, especially when applied in safety-critical systems. In the latter systems, the specification of behaviors has to be carried out carefully in order to avoid side effects that might cause unwanted or even disastrous behaviors. Thus, formal methods based on mathematical models of the system under design are helpful. They not only allow us to formally specify the system at different levels of abstraction, but also to verify the consistency of the specified systems before implementing them. The formal specification aims a precise and unambiguous description of the behavior of MASs, whereas the verification aims at proving the satisfaction of specified requirements. A behavior of an agent can be described as discrete changes of its states with respect to external or internal actions. Whenever an action occurs, the agent moves from one state to another one. Therefore, an efficient way to model this type of discrete behaviors is to use a kind of state transition diagrams such as finite automata. One remarkable advantage of such transition diagrams is that they lend themselves formal analysis techniques using model checking. The latter is an automatic verification technique which determines whether given properties are satisfied within a model underlying a particular system. In realistic physical environments, however, it is necessary to consider continuous behaviors in addition to discrete behaviors of MASs. Examples of those type of behaviors include the movement of a soccer agent to kick off or to go to the ball, the process of putting out the fire by a fire brigade agent in a rescue scenario, or any other behaviors that depend on any timed physical law. The traditional state transition diagrams are not sufficient to combine these types of behaviors. Hybrid automata offer an elegant method to capture such types of behaviors. Hybrid automata extend regular state transition diagrams with methods that deal with those continuous actions such that the state transition diagrams are used to model the discrete changes of behaviors, while differential equations are used to model the continuous changes. The semantics of hybrid automata make them accessible to formal verification by means of model checking. The main goal of this thesis is to approach hybrid automata for specifying and verifying behaviors of MASs. However, specifying and and verifying behaviors of MASs by means of hybrid automata raises several issues that should be considered. These issues include the complexity, modularity, and the expressiveness of MASs' models. This thesis addresses these issues and provides possible solutions to tackle them." @default.
• W1873861044 created "2016-06-24" @default.
• W1873861044 creator A5043322097 @default.
• W1873861044 date "2010-11-05" @default.
• W1873861044 modified "2023-09-24" @default.
• W1873861044 title "Hybrid multi-agent systems: modeling, specification and verification" @default.
• W1873861044 cites W1498631091 @default.
• W1873861044 cites W1500239546 @default.
• W1873861044 cites W1505262569 @default.
• W1873861044 cites W1538133856 @default.
• W1873861044 cites W1556900989 @default.
• W1873861044 cites W1570080582 @default.
• W1873861044 cites W1573344143 @default.
• W1873861044 cites W1591067074 @default.
• W1873861044 cites W1787074469 @default.
• W1873861044 cites W1813383841 @default.
• W1873861044 cites W1885037678 @default.
• W1873861044 cites W1962072139 @default.
• W1873861044 cites W1981808971 @default.
• W1873861044 cites W2000138546 @default.
• W1873861044 cites W2000518871 @default.
• W1873861044 cites W2001487918 @default.
• W1873861044 cites W2004463571 @default.
• W1873861044 cites W2030263557 @default.
• W1873861044 cites W2035855976 @default.
• W1873861044 cites W2049696538 @default.
• W1873861044 cites W2092960437 @default.
• W1873861044 cites W2101508170 @default.
• W1873861044 cites W2110052743 @default.
• W1873861044 cites W2120200239 @default.
• W1873861044 cites W2124778357 @default.
• W1873861044 cites W2129037613 @default.
• W1873861044 cites W2132210624 @default.
• W1873861044 cites W2136607079 @default.
• W1873861044 cites W2139891885 @default.
• W1873861044 cites W2165104948 @default.
• W1873861044 cites W2167467151 @default.
• W1873861044 cites W2252436646 @default.
• W1873861044 cites W23912179 @default.
• W1873861044 cites W2502225225 @default.
• W1873861044 cites W2519218684 @default.
• W1873861044 cites W2913459036 @default.
• W1873861044 cites W44112122 @default.
• W1873861044 cites W65937437 @default.
• W1873861044 cites W98142191 @default.
• W1873861044 cites W3023485956 @default.
• W1873861044 cites W749729 @default.
• W1873861044 hasPublicationYear "2010" @default.
• W1873861044 type Work @default.
• W1873861044 sameAs 1873861044 @default.
• W1873861044 citedByCount "0" @default.
• W1873861044 crossrefType "dissertation" @default.
• W1873861044 hasAuthorship W1873861044A5043322097 @default.
• W1873861044 hasConcept C110251889 @default.
• W1873861044 hasConcept C111472728 @default.
• W1873861044 hasConcept C111498074 @default.
• W1873861044 hasConcept C112505250 @default.
• W1873861044 hasConcept C124304363 @default.
• W1873861044 hasConcept C138885662 @default.
• W1873861044 hasConcept C145644426 @default.
• W1873861044 hasConcept C154945302 @default.
• W1873861044 hasConcept C168054591 @default.
• W1873861044 hasConcept C199360897 @default.
• W1873861044 hasConcept C202446494 @default.
• W1873861044 hasConcept C2776436953 @default.
• W1873861044 hasConcept C2777904410 @default.
• W1873861044 hasConcept C2779167558 @default.
• W1873861044 hasConcept C41008148 @default.
• W1873861044 hasConcept C75606506 @default.
• W1873861044 hasConcept C80444323 @default.
• W1873861044 hasConcept C98045186 @default.
• W1873861044 hasConceptScore W1873861044C110251889 @default.
• W1873861044 hasConceptScore W1873861044C111472728 @default.
• W1873861044 hasConceptScore W1873861044C111498074 @default.
• W1873861044 hasConceptScore W1873861044C112505250 @default.
• W1873861044 hasConceptScore W1873861044C124304363 @default.
• W1873861044 hasConceptScore W1873861044C138885662 @default.
• W1873861044 hasConceptScore W1873861044C145644426 @default.
• W1873861044 hasConceptScore W1873861044C154945302 @default.
• W1873861044 hasConceptScore W1873861044C168054591 @default.
• W1873861044 hasConceptScore W1873861044C199360897 @default.
• W1873861044 hasConceptScore W1873861044C202446494 @default.
• W1873861044 hasConceptScore W1873861044C2776436953 @default.
• W1873861044 hasConceptScore W1873861044C2777904410 @default.
• W1873861044 hasConceptScore W1873861044C2779167558 @default.
• W1873861044 hasConceptScore W1873861044C41008148 @default.
• W1873861044 hasConceptScore W1873861044C75606506 @default.
• W1873861044 hasConceptScore W1873861044C80444323 @default.
• W1873861044 hasConceptScore W1873861044C98045186 @default.
• W1873861044 hasLocation W18738610441 @default.
• W1873861044 hasOpenAccess W1873861044 @default.
• W1873861044 hasPrimaryLocation W18738610441 @default.
• W1873861044 hasRelatedWork W1503565364 @default.
• W1873861044 hasRelatedWork W1505569957 @default.
• W1873861044 hasRelatedWork W1547569459 @default.
• W1873861044 hasRelatedWork W1588786669 @default.
• W1873861044 hasRelatedWork W1654885996 @default.
• W1873861044 hasRelatedWork W17390112 @default.
• W1873861044 hasRelatedWork W2078477686 @default.
• W1873861044 hasRelatedWork W2092412604 @default.

• next