FRINK Linked Data Fragments server

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

• W1565764206 endingPage "517" @default.
• W1565764206 startingPage "491" @default.
• W1565764206 abstract "Hybrid systems are digital real-time systems embedded in analog environments. A paradigmatic example of a hybrid system is a digital embedded control program for an analog plant environment, like a furnace or an airplane: the controller state moves discretely between control modes, and in each control mode, the plant state evolves continuously according to physical laws. Those systems combine discrete and continuous dynamics. Those aspects have been studied in computer science and in control theory. Computer scientists have introduced hybrid automata [28], a formal model that combines discrete control graphs, usually called finite state automata, with continuously evolving variables. A hybrid automaton exhibits two kinds of state changes: discrete jump transitions occur instantaneously, and continuous flow transitions occur when time elapses.This chapter is organized as follows. First, we introduce the syntax and semantics of hybrid automata, and show how complex hybrid systems can be modeled compositionally as products of hybrid automata. Then, we define safety properties of hybrid automata and show how to model them using monitors. We show that the verification of those properties reduces naturally to reachability problems, that is, to decide if there exists a trajectory of the hybrid system that reaches a given set of states. As hybrid automata can be very complex mathematical objects, restricted subclasses for which we have automatic analysis methods have been introduced. In this introduction, we focus on rectangular hybrid automata and show how they can be used to overapproximate the behavior of more complex hybrid automata. We close the chapter by referencing the literature to allow the reader into go deeper into this flourishing research subject." @default.
• W1565764206 created "2016-06-24" @default.
• W1565764206 creator A5050196522 @default.
• W1565764206 date "2005-01-01" @default.
• W1565764206 modified "2023-09-26" @default.
• W1565764206 title "An Introduction to Hybrid Automata" @default.
• W1565764206 cites W1480937597 @default.
• W1565764206 cites W1484364085 @default.
• W1565764206 cites W1489150842 @default.
• W1565764206 cites W1490985464 @default.
• W1565764206 cites W1499407607 @default.
• W1565764206 cites W1515514400 @default.
• W1565764206 cites W1521364045 @default.
• W1565764206 cites W1527008463 @default.
• W1565764206 cites W1535220465 @default.
• W1565764206 cites W1543690662 @default.
• W1565764206 cites W1555190167 @default.
• W1565764206 cites W1573344143 @default.
• W1565764206 cites W1577248548 @default.
• W1565764206 cites W1584555738 @default.
• W1565764206 cites W1585526574 @default.
• W1565764206 cites W1591345321 @default.
• W1565764206 cites W1596400039 @default.
• W1565764206 cites W1606824214 @default.
• W1565764206 cites W1608292181 @default.
• W1565764206 cites W1793594870 @default.
• W1565764206 cites W1823037702 @default.
• W1565764206 cites W1830600668 @default.
• W1565764206 cites W1868193499 @default.
• W1565764206 cites W1874725288 @default.
• W1565764206 cites W1884366842 @default.
• W1565764206 cites W1900127520 @default.
• W1565764206 cites W1977106683 @default.
• W1565764206 cites W1981808971 @default.
• W1565764206 cites W2004463571 @default.
• W1565764206 cites W2023808162 @default.
• W1565764206 cites W2026533872 @default.
• W1565764206 cites W2049696538 @default.
• W1565764206 cites W2057842062 @default.
• W1565764206 cites W2060095702 @default.
• W1565764206 cites W2085838366 @default.
• W1565764206 cites W2093964259 @default.
• W1565764206 cites W2101508170 @default.
• W1565764206 cites W2102566802 @default.
• W1565764206 cites W2117189826 @default.
• W1565764206 cites W2130773092 @default.
• W1565764206 cites W2137951255 @default.
• W1565764206 cites W2147340401 @default.
• W1565764206 cites W2160883697 @default.
• W1565764206 cites W2162844904 @default.
• W1565764206 cites W2165276844 @default.
• W1565764206 cites W2295244175 @default.
• W1565764206 cites W2340735175 @default.
• W1565764206 cites W2489001267 @default.
• W1565764206 cites W2745359210 @default.
• W1565764206 cites W2913459036 @default.
• W1565764206 cites W2914206182 @default.
• W1565764206 cites W59365162 @default.
• W1565764206 doi "https://doi.org/10.1007/0-8176-4404-0_21" @default.
• W1565764206 hasPublicationYear "2005" @default.
• W1565764206 type Work @default.
• W1565764206 sameAs 1565764206 @default.
• W1565764206 citedByCount "34" @default.
• W1565764206 countsByYear W15657642062013 @default.
• W1565764206 countsByYear W15657642062014 @default.
• W1565764206 countsByYear W15657642062015 @default.
• W1565764206 countsByYear W15657642062016 @default.
• W1565764206 countsByYear W15657642062017 @default.
• W1565764206 countsByYear W15657642062018 @default.
• W1565764206 countsByYear W15657642062019 @default.
• W1565764206 countsByYear W15657642062020 @default.
• W1565764206 countsByYear W15657642062021 @default.
• W1565764206 countsByYear W15657642062022 @default.
• W1565764206 crossrefType "book-chapter" @default.
• W1565764206 hasAuthorship W1565764206A5050196522 @default.
• W1565764206 hasConcept C112505250 @default.
• W1565764206 hasConcept C11413529 @default.
• W1565764206 hasConcept C116248031 @default.
• W1565764206 hasConcept C119857082 @default.
• W1565764206 hasConcept C136643341 @default.
• W1565764206 hasConcept C167822520 @default.
• W1565764206 hasConcept C203479927 @default.
• W1565764206 hasConcept C2776028153 @default.
• W1565764206 hasConcept C41008148 @default.
• W1565764206 hasConcept C48103436 @default.
• W1565764206 hasConcept C50348692 @default.
• W1565764206 hasConcept C50897621 @default.
• W1565764206 hasConcept C6557445 @default.
• W1565764206 hasConcept C80444323 @default.
• W1565764206 hasConcept C86803240 @default.
• W1565764206 hasConceptScore W1565764206C112505250 @default.
• W1565764206 hasConceptScore W1565764206C11413529 @default.
• W1565764206 hasConceptScore W1565764206C116248031 @default.
• W1565764206 hasConceptScore W1565764206C119857082 @default.
• W1565764206 hasConceptScore W1565764206C136643341 @default.
• W1565764206 hasConceptScore W1565764206C167822520 @default.
• W1565764206 hasConceptScore W1565764206C203479927 @default.
• W1565764206 hasConceptScore W1565764206C2776028153 @default.

• next