FRINK Linked Data Fragments server

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

• W2022765575 abstract "Wireless networked control systems (WNCS) with control loops closed over a wireless network are prevailing these days. However, due to uncertainties such as random accessing delays and possible packet drops, the stability analysis for WNCS is a challenging task. Most previous research on the communication network analysis either simply relied on Monte-Carlo simulation or followed the multi-state Markov chain framework. In this paper, we propose a probabilistic model checking methodology for stability analysis in which the communication system is modeled as a probabilistic timed automaton. The stability condition is written in the probabilistic temporal logic which can be checked and the satisfaction of the specification is equivalent to the stability of the WNCS. We then studied the impact of different MAC parameters on the satisfaction of the specification. Furthermore, if the specification is not satisfied initially, we propose a systematic way to design the controller so that the specification can be met. This work presents an attempt and a new angle to the communication and control system co-design problem." @default.
• W2022765575 created "2016-06-24" @default.
• W2022765575 creator A5022295836 @default.
• W2022765575 creator A5035661649 @default.
• W2022765575 creator A5045445273 @default.
• W2022765575 date "2014-12-01" @default.
• W2022765575 modified "2023-09-26" @default.
• W2022765575 title "Formal methods for stability analysis of networked control systems with IEEE 802.15.4 protocol" @default.
• W2022765575 cites W1559321056 @default.
• W2022765575 cites W1596388494 @default.
• W2022765575 cites W1731920616 @default.
• W2022765575 cites W1801704802 @default.
• W2022765575 cites W1862398452 @default.
• W2022765575 cites W1964606336 @default.
• W2022765575 cites W1968861283 @default.
• W2022765575 cites W2001740008 @default.
• W2022765575 cites W2009280542 @default.
• W2022765575 cites W2019826771 @default.
• W2022765575 cites W2028827800 @default.
• W2022765575 cites W2045177900 @default.
• W2022765575 cites W2052334067 @default.
• W2022765575 cites W2079538138 @default.
• W2022765575 cites W2098502411 @default.
• W2022765575 cites W2103903742 @default.
• W2022765575 cites W2109875703 @default.
• W2022765575 cites W2113282439 @default.
• W2022765575 cites W2134940363 @default.
• W2022765575 cites W2137013587 @default.
• W2022765575 cites W2159826786 @default.
• W2022765575 cites W2162598825 @default.
• W2022765575 doi "https://doi.org/10.1109/cdc.2014.7040212" @default.
• W2022765575 hasPublicationYear "2014" @default.
• W2022765575 type Work @default.
• W2022765575 sameAs 2022765575 @default.
• W2022765575 citedByCount "5" @default.
• W2022765575 countsByYear W20227655752015 @default.
• W2022765575 countsByYear W20227655752016 @default.
• W2022765575 countsByYear W20227655752017 @default.
• W2022765575 countsByYear W20227655752018 @default.
• W2022765575 crossrefType "proceedings-article" @default.
• W2022765575 hasAuthorship W2022765575A5022295836 @default.
• W2022765575 hasAuthorship W2022765575A5035661649 @default.
• W2022765575 hasAuthorship W2022765575A5045445273 @default.
• W2022765575 hasConcept C105795698 @default.
• W2022765575 hasConcept C108037233 @default.
• W2022765575 hasConcept C112505250 @default.
• W2022765575 hasConcept C112972136 @default.
• W2022765575 hasConcept C119857082 @default.
• W2022765575 hasConcept C120314980 @default.
• W2022765575 hasConcept C154945302 @default.
• W2022765575 hasConcept C158379750 @default.
• W2022765575 hasConcept C159886148 @default.
• W2022765575 hasConcept C1759631 @default.
• W2022765575 hasConcept C203479927 @default.
• W2022765575 hasConcept C2775924081 @default.
• W2022765575 hasConcept C31258907 @default.
• W2022765575 hasConcept C33923547 @default.
• W2022765575 hasConcept C41008148 @default.
• W2022765575 hasConcept C49937458 @default.
• W2022765575 hasConcept C555944384 @default.
• W2022765575 hasConcept C6557445 @default.
• W2022765575 hasConcept C76155785 @default.
• W2022765575 hasConcept C80444323 @default.
• W2022765575 hasConcept C86803240 @default.
• W2022765575 hasConcept C98763669 @default.
• W2022765575 hasConceptScore W2022765575C105795698 @default.
• W2022765575 hasConceptScore W2022765575C108037233 @default.
• W2022765575 hasConceptScore W2022765575C112505250 @default.
• W2022765575 hasConceptScore W2022765575C112972136 @default.
• W2022765575 hasConceptScore W2022765575C119857082 @default.
• W2022765575 hasConceptScore W2022765575C120314980 @default.
• W2022765575 hasConceptScore W2022765575C154945302 @default.
• W2022765575 hasConceptScore W2022765575C158379750 @default.
• W2022765575 hasConceptScore W2022765575C159886148 @default.
• W2022765575 hasConceptScore W2022765575C1759631 @default.
• W2022765575 hasConceptScore W2022765575C203479927 @default.
• W2022765575 hasConceptScore W2022765575C2775924081 @default.
• W2022765575 hasConceptScore W2022765575C31258907 @default.
• W2022765575 hasConceptScore W2022765575C33923547 @default.
• W2022765575 hasConceptScore W2022765575C41008148 @default.
• W2022765575 hasConceptScore W2022765575C49937458 @default.
• W2022765575 hasConceptScore W2022765575C555944384 @default.
• W2022765575 hasConceptScore W2022765575C6557445 @default.
• W2022765575 hasConceptScore W2022765575C76155785 @default.
• W2022765575 hasConceptScore W2022765575C80444323 @default.
• W2022765575 hasConceptScore W2022765575C86803240 @default.
• W2022765575 hasConceptScore W2022765575C98763669 @default.
• W2022765575 hasLocation W20227655751 @default.
• W2022765575 hasOpenAccess W2022765575 @default.
• W2022765575 hasPrimaryLocation W20227655751 @default.
• W2022765575 hasRelatedWork W1964007137 @default.
• W2022765575 hasRelatedWork W1989495662 @default.
• W2022765575 hasRelatedWork W1992277778 @default.
• W2022765575 hasRelatedWork W2012863178 @default.
• W2022765575 hasRelatedWork W2073140824 @default.
• W2022765575 hasRelatedWork W2082032862 @default.
• W2022765575 hasRelatedWork W2083881084 @default.
• W2022765575 hasRelatedWork W2096032458 @default.
• W2022765575 hasRelatedWork W2134515770 @default.
• W2022765575 hasRelatedWork W2138141161 @default.

• next