Matches in SemOpenAlex for { <https://semopenalex.org/work/W1967900449> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W1967900449 endingPage "74" @default.
- W1967900449 startingPage "48" @default.
- W1967900449 abstract "The aim of this research has been to associate the modeling capacities of hybrid Petri nets with the analysis power of hybrid automata in order to perform formal verification of hybrid dynamic systems. In this paper, we propose an extension of hybrid Petri nets, called multisingular hybrid Petri nets (MSHPNs), for modeling and verification of hybrid dynamic systems. This extension consists of enriching hybrid Petri nets with the capabilities of hybrid automata to control the execution and firing of transitions and some modeling facilities for describing some repeatedly encountered aspects of timed and hybrid systems. We discuss the challenging issues of speed computation raised by addition of execution predicates and introduce a speed-based partitioning technique , which is essential for state space computation. We also introduce a method for reachability analysis of MSHPNs, consisting of computing the state class graph. Thus, the verification of timing properties of MSHPNs can be conducted using the existing techniques and tools. The proposed formalism has the expressiveness of multisingular hybrid automata besides the capabilities of Petri nets for modeling concurrent and distributed systems. Some illustrative examples of the proposed formalism are also presented in this paper." @default.
- W1967900449 created "2016-06-24" @default.
- W1967900449 creator A5059141483 @default.
- W1967900449 creator A5087926619 @default.
- W1967900449 date "2012-08-01" @default.
- W1967900449 modified "2023-09-26" @default.
- W1967900449 title "Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets" @default.
- W1967900449 cites W1487657751 @default.
- W1967900449 cites W1506114972 @default.
- W1967900449 cites W1511488922 @default.
- W1967900449 cites W1571330180 @default.
- W1967900449 cites W1577014738 @default.
- W1967900449 cites W1595871524 @default.
- W1967900449 cites W1659060819 @default.
- W1967900449 cites W1862357615 @default.
- W1967900449 cites W1964178654 @default.
- W1967900449 cites W1971949385 @default.
- W1967900449 cites W1997427041 @default.
- W1967900449 cites W2004463571 @default.
- W1967900449 cites W2035930260 @default.
- W1967900449 cites W2036081705 @default.
- W1967900449 cites W2057842062 @default.
- W1967900449 cites W2060359246 @default.
- W1967900449 cites W2065733181 @default.
- W1967900449 cites W2076608736 @default.
- W1967900449 cites W2078078820 @default.
- W1967900449 cites W2085838366 @default.
- W1967900449 cites W2086156607 @default.
- W1967900449 cites W2093210512 @default.
- W1967900449 cites W2099924351 @default.
- W1967900449 cites W2101508170 @default.
- W1967900449 cites W2114233713 @default.
- W1967900449 cites W2129140418 @default.
- W1967900449 cites W2142830749 @default.
- W1967900449 cites W2147340401 @default.
- W1967900449 cites W2150377894 @default.
- W1967900449 cites W2180677596 @default.
- W1967900449 cites W4246415257 @default.
- W1967900449 doi "https://doi.org/10.1016/j.tcs.2012.05.023" @default.
- W1967900449 hasPublicationYear "2012" @default.
- W1967900449 type Work @default.
- W1967900449 sameAs 1967900449 @default.
- W1967900449 citedByCount "10" @default.
- W1967900449 countsByYear W19679004492014 @default.
- W1967900449 countsByYear W19679004492015 @default.
- W1967900449 countsByYear W19679004492017 @default.
- W1967900449 countsByYear W19679004492018 @default.
- W1967900449 countsByYear W19679004492020 @default.
- W1967900449 countsByYear W19679004492021 @default.
- W1967900449 countsByYear W19679004492022 @default.
- W1967900449 crossrefType "journal-article" @default.
- W1967900449 hasAuthorship W1967900449A5059141483 @default.
- W1967900449 hasAuthorship W1967900449A5087926619 @default.
- W1967900449 hasBestOaLocation W19679004491 @default.
- W1967900449 hasConcept C119857082 @default.
- W1967900449 hasConcept C136155141 @default.
- W1967900449 hasConcept C199360897 @default.
- W1967900449 hasConcept C38677869 @default.
- W1967900449 hasConcept C41008148 @default.
- W1967900449 hasConcept C50897621 @default.
- W1967900449 hasConcept C80444323 @default.
- W1967900449 hasConceptScore W1967900449C119857082 @default.
- W1967900449 hasConceptScore W1967900449C136155141 @default.
- W1967900449 hasConceptScore W1967900449C199360897 @default.
- W1967900449 hasConceptScore W1967900449C38677869 @default.
- W1967900449 hasConceptScore W1967900449C41008148 @default.
- W1967900449 hasConceptScore W1967900449C50897621 @default.
- W1967900449 hasConceptScore W1967900449C80444323 @default.
- W1967900449 hasLocation W19679004491 @default.
- W1967900449 hasOpenAccess W1967900449 @default.
- W1967900449 hasPrimaryLocation W19679004491 @default.
- W1967900449 hasRelatedWork W1038643327 @default.
- W1967900449 hasRelatedWork W117466158 @default.
- W1967900449 hasRelatedWork W136794635 @default.
- W1967900449 hasRelatedWork W1579275490 @default.
- W1967900449 hasRelatedWork W2091260341 @default.
- W1967900449 hasRelatedWork W2154139300 @default.
- W1967900449 hasRelatedWork W2160484882 @default.
- W1967900449 hasRelatedWork W2388059712 @default.
- W1967900449 hasRelatedWork W2593053650 @default.
- W1967900449 hasRelatedWork W67242188 @default.
- W1967900449 hasVolume "446" @default.
- W1967900449 isParatext "false" @default.
- W1967900449 isRetracted "false" @default.
- W1967900449 magId "1967900449" @default.
- W1967900449 workType "article" @default.