Matches in SemOpenAlex for { <https://semopenalex.org/work/W1498984296> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W1498984296 abstract "Equations on timed languages.- Hybrid control for automotive engine management: The cut-off case.- Hybrid control of automotive powertrain systems: A case study.- On the composition of hybrid systems.- An equivalence between a control network and a switched hybrid system.- Hybrid cc with interval constraints.- Reachability analysis via face lifting.- Automotive control revisited linear inequalities as approximation of reachable sets.- Switching controllers based on neural network estimates of stability regions and controller performance.- A logic for the specification of continuous systems.- Integrating projections.- Lyapunov stability of continuous-valued systems under the supervision of discrete-event transition systems.- Reachability verification for hybrid automata.- Subanalytic stratifications and bisimulations.- Integrated design and simulation of hybrid systems.- Hierarchical hybrid systems: Partition deformations and applications to the acrobot system.- Formal verification of safety-critical hybrid systems.- Strings of vehicles: Modeling and safety conditions.- An approach to the verification of the Center-TRACON automation system.- Deductive verification of hybrid systems using step.- Reduction and decomposition of differential automata: Theory and applications.- Optimization of generalized solutions of nonlinear hybrid (discrete-continuous) systems.- Information-based optimization approaches to dynamical system safety verification.- Synthesizing controllers for nonlinear hybrid systems.- A sufficient condition for controllability of a class of hybrid systems.- Hybrid regular expressions.- Stabilization of systems with changing dynamics." @default.
- W1498984296 created "2016-06-24" @default.
- W1498984296 creator A5062722286 @default.
- W1498984296 creator A5080555605 @default.
- W1498984296 date "1998-03-25" @default.
- W1498984296 modified "2023-09-24" @default.
- W1498984296 title "Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings" @default.
- W1498984296 hasPublicationYear "1998" @default.
- W1498984296 type Work @default.
- W1498984296 sameAs 1498984296 @default.
- W1498984296 citedByCount "2" @default.
- W1498984296 crossrefType "book" @default.
- W1498984296 hasAuthorship W1498984296A5062722286 @default.
- W1498984296 hasAuthorship W1498984296A5080555605 @default.
- W1498984296 hasConcept C112505250 @default.
- W1498984296 hasConcept C119857082 @default.
- W1498984296 hasConcept C127413603 @default.
- W1498984296 hasConcept C133731056 @default.
- W1498984296 hasConcept C136643341 @default.
- W1498984296 hasConcept C146978453 @default.
- W1498984296 hasConcept C154945302 @default.
- W1498984296 hasConcept C2775924081 @default.
- W1498984296 hasConcept C2776028153 @default.
- W1498984296 hasConcept C28826006 @default.
- W1498984296 hasConcept C33923547 @default.
- W1498984296 hasConcept C41008148 @default.
- W1498984296 hasConcept C47446073 @default.
- W1498984296 hasConcept C48209547 @default.
- W1498984296 hasConcept C50897621 @default.
- W1498984296 hasConcept C526921623 @default.
- W1498984296 hasConcept C80444323 @default.
- W1498984296 hasConceptScore W1498984296C112505250 @default.
- W1498984296 hasConceptScore W1498984296C119857082 @default.
- W1498984296 hasConceptScore W1498984296C127413603 @default.
- W1498984296 hasConceptScore W1498984296C133731056 @default.
- W1498984296 hasConceptScore W1498984296C136643341 @default.
- W1498984296 hasConceptScore W1498984296C146978453 @default.
- W1498984296 hasConceptScore W1498984296C154945302 @default.
- W1498984296 hasConceptScore W1498984296C2775924081 @default.
- W1498984296 hasConceptScore W1498984296C2776028153 @default.
- W1498984296 hasConceptScore W1498984296C28826006 @default.
- W1498984296 hasConceptScore W1498984296C33923547 @default.
- W1498984296 hasConceptScore W1498984296C41008148 @default.
- W1498984296 hasConceptScore W1498984296C47446073 @default.
- W1498984296 hasConceptScore W1498984296C48209547 @default.
- W1498984296 hasConceptScore W1498984296C50897621 @default.
- W1498984296 hasConceptScore W1498984296C526921623 @default.
- W1498984296 hasConceptScore W1498984296C80444323 @default.
- W1498984296 hasLocation W14989842961 @default.
- W1498984296 hasOpenAccess W1498984296 @default.
- W1498984296 hasPrimaryLocation W14989842961 @default.
- W1498984296 hasRelatedWork W1480187351 @default.
- W1498984296 hasRelatedWork W1487119666 @default.
- W1498984296 hasRelatedWork W1495543552 @default.
- W1498984296 hasRelatedWork W1499599562 @default.
- W1498984296 hasRelatedWork W1509428581 @default.
- W1498984296 hasRelatedWork W1535976875 @default.
- W1498984296 hasRelatedWork W1562722544 @default.
- W1498984296 hasRelatedWork W1568375522 @default.
- W1498984296 hasRelatedWork W1572741747 @default.
- W1498984296 hasRelatedWork W1975718035 @default.
- W1498984296 hasRelatedWork W2041827531 @default.
- W1498984296 hasRelatedWork W2047915330 @default.
- W1498984296 hasRelatedWork W2135388829 @default.
- W1498984296 hasRelatedWork W2165690864 @default.
- W1498984296 hasRelatedWork W2358538557 @default.
- W1498984296 hasRelatedWork W2388600863 @default.
- W1498984296 hasRelatedWork W2427539054 @default.
- W1498984296 hasRelatedWork W2618866835 @default.
- W1498984296 hasRelatedWork W285872204 @default.
- W1498984296 hasRelatedWork W592197270 @default.
- W1498984296 isParatext "false" @default.
- W1498984296 isRetracted "false" @default.
- W1498984296 magId "1498984296" @default.
- W1498984296 workType "book" @default.