Matches in SemOpenAlex for { <https://semopenalex.org/work/W2213331729> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2213331729 endingPage "9" @default.
- W2213331729 startingPage "1" @default.
- W2213331729 abstract "Hybrid systems are characterised by a combination of discrete and continuous components. In many application areas for hybrid systems, such as vehicular control and systems biology, stochastic behaviour is exhibited. This has led to the development of stochastic extensions of formalisms, such as hybrid automata, for the modelling of hybrid systems, together with their associated verification and controller synthesis algorithms, in order to allow reasoning about quantitative properties such as “the vehicle’s speed will reach 50kph within 10 seconds with probability at least 0.99”. We consider verification and control of probabilistic rectangular hybrid automata, which generalise the well-known class of rectangular hybrid automata with the possibility of representing random behaviour of the discrete components of the system, permitting the modelling of the likelihood of faults, choices in randomised algorithms and message losses. Furthermore, we will also consider how probabilistic rectangular hybrid automata can be used as abstract models for more general classes of stochastic hybrid systems." @default.
- W2213331729 created "2016-06-24" @default.
- W2213331729 creator A5044285570 @default.
- W2213331729 date "2015-01-01" @default.
- W2213331729 modified "2023-09-30" @default.
- W2213331729 title "Verification and Control of Probabilistic Rectangular Hybrid Automata" @default.
- W2213331729 cites W1516852392 @default.
- W2213331729 cites W1565764206 @default.
- W2213331729 cites W1582464544 @default.
- W2213331729 cites W1594438783 @default.
- W2213331729 cites W1882576690 @default.
- W2213331729 cites W195642197 @default.
- W2213331729 cites W1979349468 @default.
- W2213331729 cites W1980648830 @default.
- W2213331729 cites W2004463571 @default.
- W2213331729 cites W2005684815 @default.
- W2213331729 cites W2009280542 @default.
- W2213331729 cites W2016206563 @default.
- W2213331729 cites W2018087463 @default.
- W2213331729 cites W2028222307 @default.
- W2213331729 cites W2055960145 @default.
- W2213331729 cites W2062936109 @default.
- W2213331729 cites W2077287580 @default.
- W2213331729 cites W2085838366 @default.
- W2213331729 cites W2110903336 @default.
- W2213331729 cites W2118424907 @default.
- W2213331729 cites W2118912801 @default.
- W2213331729 cites W2140493413 @default.
- W2213331729 cites W3023191323 @default.
- W2213331729 cites W3031453538 @default.
- W2213331729 cites W4212901716 @default.
- W2213331729 cites W4247619688 @default.
- W2213331729 doi "https://doi.org/10.1007/978-3-319-22975-1_1" @default.
- W2213331729 hasPublicationYear "2015" @default.
- W2213331729 type Work @default.
- W2213331729 sameAs 2213331729 @default.
- W2213331729 citedByCount "1" @default.
- W2213331729 countsByYear W22133317292023 @default.
- W2213331729 crossrefType "book-chapter" @default.
- W2213331729 hasAuthorship W2213331729A5044285570 @default.
- W2213331729 hasBestOaLocation W22133317292 @default.
- W2213331729 hasConcept C112505250 @default.
- W2213331729 hasConcept C11413529 @default.
- W2213331729 hasConcept C119857082 @default.
- W2213331729 hasConcept C154945302 @default.
- W2213331729 hasConcept C171018156 @default.
- W2213331729 hasConcept C203479927 @default.
- W2213331729 hasConcept C2524010 @default.
- W2213331729 hasConcept C2776028153 @default.
- W2213331729 hasConcept C33923547 @default.
- W2213331729 hasConcept C41008148 @default.
- W2213331729 hasConcept C49937458 @default.
- W2213331729 hasConcept C50897621 @default.
- W2213331729 hasConcept C6557445 @default.
- W2213331729 hasConcept C80444323 @default.
- W2213331729 hasConcept C86803240 @default.
- W2213331729 hasConceptScore W2213331729C112505250 @default.
- W2213331729 hasConceptScore W2213331729C11413529 @default.
- W2213331729 hasConceptScore W2213331729C119857082 @default.
- W2213331729 hasConceptScore W2213331729C154945302 @default.
- W2213331729 hasConceptScore W2213331729C171018156 @default.
- W2213331729 hasConceptScore W2213331729C203479927 @default.
- W2213331729 hasConceptScore W2213331729C2524010 @default.
- W2213331729 hasConceptScore W2213331729C2776028153 @default.
- W2213331729 hasConceptScore W2213331729C33923547 @default.
- W2213331729 hasConceptScore W2213331729C41008148 @default.
- W2213331729 hasConceptScore W2213331729C49937458 @default.
- W2213331729 hasConceptScore W2213331729C50897621 @default.
- W2213331729 hasConceptScore W2213331729C6557445 @default.
- W2213331729 hasConceptScore W2213331729C80444323 @default.
- W2213331729 hasConceptScore W2213331729C86803240 @default.
- W2213331729 hasLocation W22133317291 @default.
- W2213331729 hasLocation W22133317292 @default.
- W2213331729 hasOpenAccess W2213331729 @default.
- W2213331729 hasPrimaryLocation W22133317291 @default.
- W2213331729 hasRelatedWork W1491784475 @default.
- W2213331729 hasRelatedWork W1518566078 @default.
- W2213331729 hasRelatedWork W2027302341 @default.
- W2213331729 hasRelatedWork W2034539849 @default.
- W2213331729 hasRelatedWork W2126053898 @default.
- W2213331729 hasRelatedWork W2130774155 @default.
- W2213331729 hasRelatedWork W2152441309 @default.
- W2213331729 hasRelatedWork W2154532439 @default.
- W2213331729 hasRelatedWork W2600131694 @default.
- W2213331729 hasRelatedWork W2788894624 @default.
- W2213331729 isParatext "false" @default.
- W2213331729 isRetracted "false" @default.
- W2213331729 magId "2213331729" @default.
- W2213331729 workType "book-chapter" @default.