Matches in SemOpenAlex for { <https://semopenalex.org/work/W3014403430> ?p ?o ?g. }
- W3014403430 abstract "This paper proposes a framework for automatic formal controller synthesis for general hybrid systems with a subset of safety and reachability specifications. The framework uses genetic programming to automatically co-synthesize controllers and candidate Lyapunov-like functions. These candidate Lyapunov-like functions are used to formally verify the control specification, and their correctness is proven using a Satisfiability Modulo Theories solver. The advantages of this approach are: no restriction is made to polynomial systems, the synthesized controllers are expressed as compact expressions, and no explicit solution structure has to be specified beforehand. We demonstrate the effectiveness of the proposed framework in several case studies, including nonpolynomial systems, sampled-data systems, systems with bounded uncertainties, switched systems, and systems with jumps. osed framework in several case studies, including nonpolynomial systems, sampled-data systems, systems with bounded uncertainties, switched systems, and systems with jumps." @default.
- W3014403430 created "2020-04-10" @default.
- W3014403430 creator A5019241546 @default.
- W3014403430 creator A5019445911 @default.
- W3014403430 date "2020-03-31" @default.
- W3014403430 modified "2023-09-26" @default.
- W3014403430 title "Formal controller synthesis for hybrid systems using genetic programming." @default.
- W3014403430 cites W1481397690 @default.
- W3014403430 cites W1483893502 @default.
- W3014403430 cites W1496537269 @default.
- W3014403430 cites W1496681274 @default.
- W3014403430 cites W1498432697 @default.
- W3014403430 cites W1547304883 @default.
- W3014403430 cites W1565544898 @default.
- W3014403430 cites W1567473651 @default.
- W3014403430 cites W1568906816 @default.
- W3014403430 cites W1569239057 @default.
- W3014403430 cites W1576818901 @default.
- W3014403430 cites W1594130515 @default.
- W3014403430 cites W1598634407 @default.
- W3014403430 cites W1965782313 @default.
- W3014403430 cites W1972149633 @default.
- W3014403430 cites W1983770999 @default.
- W3014403430 cites W2002982037 @default.
- W3014403430 cites W2003992687 @default.
- W3014403430 cites W2006116648 @default.
- W3014403430 cites W2011199136 @default.
- W3014403430 cites W2020883449 @default.
- W3014403430 cites W2042636729 @default.
- W3014403430 cites W2050383062 @default.
- W3014403430 cites W2071797744 @default.
- W3014403430 cites W2095274657 @default.
- W3014403430 cites W2104416102 @default.
- W3014403430 cites W2108380954 @default.
- W3014403430 cites W2112036188 @default.
- W3014403430 cites W2140531311 @default.
- W3014403430 cites W2150335178 @default.
- W3014403430 cites W2152185829 @default.
- W3014403430 cites W2165748475 @default.
- W3014403430 cites W2166280160 @default.
- W3014403430 cites W2166691751 @default.
- W3014403430 cites W2181563095 @default.
- W3014403430 cites W2238345790 @default.
- W3014403430 cites W2328476272 @default.
- W3014403430 cites W2337661843 @default.
- W3014403430 cites W2340680995 @default.
- W3014403430 cites W2468433498 @default.
- W3014403430 cites W2524638160 @default.
- W3014403430 cites W2594675090 @default.
- W3014403430 cites W2594877703 @default.
- W3014403430 cites W2604954866 @default.
- W3014403430 cites W2618318883 @default.
- W3014403430 cites W2760733685 @default.
- W3014403430 cites W2765754656 @default.
- W3014403430 cites W2769310020 @default.
- W3014403430 cites W2796061040 @default.
- W3014403430 cites W2796295393 @default.
- W3014403430 cites W2841721725 @default.
- W3014403430 cites W2886854944 @default.
- W3014403430 cites W2887849399 @default.
- W3014403430 cites W2895120768 @default.
- W3014403430 cites W2903443855 @default.
- W3014403430 cites W2905277694 @default.
- W3014403430 cites W2953079911 @default.
- W3014403430 cites W2963356785 @default.
- W3014403430 cites W2964215191 @default.
- W3014403430 cites W2970795963 @default.
- W3014403430 cites W3011713702 @default.
- W3014403430 cites W3022904362 @default.
- W3014403430 cites W3037593164 @default.
- W3014403430 cites W3104168345 @default.
- W3014403430 cites W44088796 @default.
- W3014403430 hasPublicationYear "2020" @default.
- W3014403430 type Work @default.
- W3014403430 sameAs 3014403430 @default.
- W3014403430 citedByCount "0" @default.
- W3014403430 crossrefType "posted-content" @default.
- W3014403430 hasAuthorship W3014403430A5019241546 @default.
- W3014403430 hasAuthorship W3014403430A5019445911 @default.
- W3014403430 hasConcept C111498074 @default.
- W3014403430 hasConcept C11413529 @default.
- W3014403430 hasConcept C118615104 @default.
- W3014403430 hasConcept C119857082 @default.
- W3014403430 hasConcept C121332964 @default.
- W3014403430 hasConcept C126255220 @default.
- W3014403430 hasConcept C134306372 @default.
- W3014403430 hasConcept C136643341 @default.
- W3014403430 hasConcept C158622935 @default.
- W3014403430 hasConcept C164155591 @default.
- W3014403430 hasConcept C203479927 @default.
- W3014403430 hasConcept C2778770139 @default.
- W3014403430 hasConcept C33923547 @default.
- W3014403430 hasConcept C34388435 @default.
- W3014403430 hasConcept C41008148 @default.
- W3014403430 hasConcept C50897621 @default.
- W3014403430 hasConcept C54732982 @default.
- W3014403430 hasConcept C55439883 @default.
- W3014403430 hasConcept C60640748 @default.
- W3014403430 hasConcept C62520636 @default.
- W3014403430 hasConcept C6557445 @default.