Matches in SemOpenAlex for { <https://semopenalex.org/work/W2497183704> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2497183704 abstract "The chapter deals with reconfigurable embedded control systems following component-based technologies and/or Architecture Description Languages used today in industry. The author defines Control Components as software units to support control tasks of the system which is assumed to be a network of components with precedence constraints. The author defines an agent-based architecture to handle automatic reconfigurations under well-defined conditions by creating, deleting or updating components to bring the whole system into safe and optimal behaviors. To cover all reconfiguration forms, the agent is modelled by nested state machines such that states correspond to other state machines. Several complex networks can implement the system where each one is executed at a given time when a corresponding reconfiguration scenario is automatically applied by the agent. To check the correctness of each one of them, we apply in several steps a refinement-based approach that automatically specifies feasible Control Components according to NCES. The model checker SESA is automatically applied in each step to verify deadlock properties of new generated components, and it is manually used to verify CTL-based properties according to user requirements. We implement the reconfiguration agent by three modules that allow interpretations of environment evolutions, decisions of useful reconfiguration scenarios and finally their applications. Two Industrial Benchmark Production Systems FESTO and EnAS available in the author’s research laboratory are applied to explain the paper contribution." @default.
- W2497183704 created "2016-08-23" @default.
- W2497183704 creator A5015650914 @default.
- W2497183704 date "2011-01-01" @default.
- W2497183704 modified "2023-10-18" @default.
- W2497183704 title "Multi-Agent Reconfigurable Embedded Systems" @default.
- W2497183704 cites W1524894467 @default.
- W2497183704 cites W1529688053 @default.
- W2497183704 cites W1603317402 @default.
- W2497183704 cites W1894254590 @default.
- W2497183704 cites W1972363956 @default.
- W2497183704 cites W2011583292 @default.
- W2497183704 cites W2096065137 @default.
- W2497183704 cites W2101508170 @default.
- W2497183704 cites W2102673224 @default.
- W2497183704 cites W2111448960 @default.
- W2497183704 cites W2112564323 @default.
- W2497183704 cites W2117648694 @default.
- W2497183704 cites W2121762861 @default.
- W2497183704 cites W2128202378 @default.
- W2497183704 cites W2129930520 @default.
- W2497183704 cites W2130583976 @default.
- W2497183704 cites W2131498035 @default.
- W2497183704 cites W2132367502 @default.
- W2497183704 cites W2139596769 @default.
- W2497183704 cites W2145547589 @default.
- W2497183704 cites W2160312340 @default.
- W2497183704 cites W2165068028 @default.
- W2497183704 cites W2263584683 @default.
- W2497183704 cites W2506664876 @default.
- W2497183704 cites W4248230281 @default.
- W2497183704 doi "https://doi.org/10.4018/978-1-60960-086-0.ch001" @default.
- W2497183704 hasPublicationYear "2011" @default.
- W2497183704 type Work @default.
- W2497183704 sameAs 2497183704 @default.
- W2497183704 citedByCount "0" @default.
- W2497183704 crossrefType "book-chapter" @default.
- W2497183704 hasAuthorship W2497183704A5015650914 @default.
- W2497183704 hasConcept C118524514 @default.
- W2497183704 hasConcept C120314980 @default.
- W2497183704 hasConcept C149635348 @default.
- W2497183704 hasConcept C41008148 @default.
- W2497183704 hasConceptScore W2497183704C118524514 @default.
- W2497183704 hasConceptScore W2497183704C120314980 @default.
- W2497183704 hasConceptScore W2497183704C149635348 @default.
- W2497183704 hasConceptScore W2497183704C41008148 @default.
- W2497183704 hasLocation W24971837041 @default.
- W2497183704 hasOpenAccess W2497183704 @default.
- W2497183704 hasPrimaryLocation W24971837041 @default.
- W2497183704 hasRelatedWork W155541055 @default.
- W2497183704 hasRelatedWork W1557693729 @default.
- W2497183704 hasRelatedWork W1811251875 @default.
- W2497183704 hasRelatedWork W2019145939 @default.
- W2497183704 hasRelatedWork W2024658891 @default.
- W2497183704 hasRelatedWork W2046167724 @default.
- W2497183704 hasRelatedWork W2098088107 @default.
- W2497183704 hasRelatedWork W2418259224 @default.
- W2497183704 hasRelatedWork W2485893207 @default.
- W2497183704 hasRelatedWork W2504710184 @default.
- W2497183704 hasRelatedWork W2592391374 @default.
- W2497183704 hasRelatedWork W2741349742 @default.
- W2497183704 hasRelatedWork W2794935497 @default.
- W2497183704 hasRelatedWork W3108859263 @default.
- W2497183704 hasRelatedWork W3140358853 @default.
- W2497183704 hasRelatedWork W3148304295 @default.
- W2497183704 hasRelatedWork W3166971762 @default.
- W2497183704 hasRelatedWork W34329394 @default.
- W2497183704 hasRelatedWork W40878265 @default.
- W2497183704 hasRelatedWork W2096164649 @default.
- W2497183704 isParatext "false" @default.
- W2497183704 isRetracted "false" @default.
- W2497183704 magId "2497183704" @default.
- W2497183704 workType "book-chapter" @default.