Matches in SemOpenAlex for { <https://semopenalex.org/work/W163367425> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W163367425 abstract "The purpose of this paper is two-fold. We first give an overview of recent work on the formal analysis and verification of hybrid systems, which are dynamical systems with both discrete and continuous changes of state. We then present new work on the use of poly-modal logics in the systematic synthesis of hybrid control systems direct from formal specifications." @default.
- W163367425 created "2016-06-24" @default.
- W163367425 creator A5091575568 @default.
- W163367425 date "2000-01-01" @default.
- W163367425 modified "2023-09-23" @default.
- W163367425 title "Using modal logics for the formal analysis and synthesis of hybrid control systems" @default.
- W163367425 cites W1507695589 @default.
- W163367425 cites W1519854400 @default.
- W163367425 cites W1522448884 @default.
- W163367425 cites W1525967073 @default.
- W163367425 cites W1559815321 @default.
- W163367425 cites W1569051713 @default.
- W163367425 cites W1577412708 @default.
- W163367425 cites W1587782590 @default.
- W163367425 cites W1600757688 @default.
- W163367425 cites W1820785953 @default.
- W163367425 cites W1874725288 @default.
- W163367425 cites W2004463571 @default.
- W163367425 cites W2015640848 @default.
- W163367425 cites W2023808162 @default.
- W163367425 cites W2055960145 @default.
- W163367425 cites W2060095702 @default.
- W163367425 cites W2117218135 @default.
- W163367425 cites W2124778357 @default.
- W163367425 cites W2129965357 @default.
- W163367425 cites W2147340401 @default.
- W163367425 cites W2151549243 @default.
- W163367425 cites W2166802518 @default.
- W163367425 cites W2169823769 @default.
- W163367425 cites W2176705267 @default.
- W163367425 cites W2315064349 @default.
- W163367425 cites W2402038485 @default.
- W163367425 hasPublicationYear "2000" @default.
- W163367425 type Work @default.
- W163367425 sameAs 163367425 @default.
- W163367425 citedByCount "1" @default.
- W163367425 crossrefType "journal-article" @default.
- W163367425 hasAuthorship W163367425A5091575568 @default.
- W163367425 hasConcept C111498074 @default.
- W163367425 hasConcept C119857082 @default.
- W163367425 hasConcept C127413603 @default.
- W163367425 hasConcept C185592680 @default.
- W163367425 hasConcept C18762648 @default.
- W163367425 hasConcept C188027245 @default.
- W163367425 hasConcept C199360897 @default.
- W163367425 hasConcept C27508121 @default.
- W163367425 hasConcept C41008148 @default.
- W163367425 hasConcept C50897621 @default.
- W163367425 hasConcept C71139939 @default.
- W163367425 hasConcept C75606506 @default.
- W163367425 hasConcept C78519656 @default.
- W163367425 hasConcept C80444323 @default.
- W163367425 hasConceptScore W163367425C111498074 @default.
- W163367425 hasConceptScore W163367425C119857082 @default.
- W163367425 hasConceptScore W163367425C127413603 @default.
- W163367425 hasConceptScore W163367425C185592680 @default.
- W163367425 hasConceptScore W163367425C18762648 @default.
- W163367425 hasConceptScore W163367425C188027245 @default.
- W163367425 hasConceptScore W163367425C199360897 @default.
- W163367425 hasConceptScore W163367425C27508121 @default.
- W163367425 hasConceptScore W163367425C41008148 @default.
- W163367425 hasConceptScore W163367425C50897621 @default.
- W163367425 hasConceptScore W163367425C71139939 @default.
- W163367425 hasConceptScore W163367425C75606506 @default.
- W163367425 hasConceptScore W163367425C78519656 @default.
- W163367425 hasConceptScore W163367425C80444323 @default.
- W163367425 hasOpenAccess W163367425 @default.
- W163367425 hasRelatedWork W1577350072 @default.
- W163367425 hasRelatedWork W1755901030 @default.
- W163367425 hasRelatedWork W194720932 @default.
- W163367425 hasRelatedWork W1948178245 @default.
- W163367425 hasRelatedWork W2011399359 @default.
- W163367425 hasRelatedWork W2027997434 @default.
- W163367425 hasRelatedWork W2070720123 @default.
- W163367425 hasRelatedWork W2119715846 @default.
- W163367425 hasRelatedWork W2155196766 @default.
- W163367425 hasRelatedWork W2160937337 @default.
- W163367425 hasRelatedWork W2171378592 @default.
- W163367425 hasRelatedWork W2357511735 @default.
- W163367425 hasRelatedWork W2403577245 @default.
- W163367425 hasRelatedWork W2532790465 @default.
- W163367425 hasRelatedWork W2540241477 @default.
- W163367425 hasRelatedWork W2618891481 @default.
- W163367425 hasRelatedWork W2897475762 @default.
- W163367425 hasRelatedWork W2935617169 @default.
- W163367425 hasRelatedWork W3095125174 @default.
- W163367425 hasRelatedWork W317993617 @default.
- W163367425 isParatext "false" @default.
- W163367425 isRetracted "false" @default.
- W163367425 magId "163367425" @default.
- W163367425 workType "article" @default.