Matches in SemOpenAlex for { <https://semopenalex.org/work/W1718202771> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1718202771 abstract "Automative control systems are more and more developed in the model-based design paradigm. This typically involves capturing a plant model that describes the dynamical characteristics of the physical processes within the system, and a controller model, which is a block-diagram-based representation of the software used to regulate the plant behavior. In practice, plant models and controller models are highly complex as they can contain nonlinear hybrid dynamics, look-up tables storing pre-computed values, several levels of design-hierarchy, design-blocks that operate at different frequencies, and so on. Moreover, system requirements are often imprecise, non-modular, evolving, or even simply unknown. In this talk, we describe a simulation-guided formal technique that can help characterize temporal properties of a system described with the Simulink modeling language, which is widely used as a high-fidelity simulation tool and is routinely used by control designers to experimentally validate their controller designs. Specifically, we present a way to algorithmically mine temporal assertions implemeted in the tool Breach. The input to our algorithm is a requirement template expressed in Parametric Signal Temporal Logic - a formalism to express temporal formulas in which concrete signal or time values are replaced by parameters. Our algorithm is an instance of counterexample-guided inductive synthesis: an intermediate candidate requirement is synthesized from simulation traces of the system, which is refined using counterexamples to the candidate obtained with the help of a falsification tool. The algorithm terminates when no counterexample is found. Mining has many usage scenarios: mined requirements can be used to validate future modifications of the model, they can be used to enhance understanding of legacy models, and can also guide the process of bug-finding through simulations." @default.
- W1718202771 created "2016-06-24" @default.
- W1718202771 creator A5005037066 @default.
- W1718202771 creator A5057473400 @default.
- W1718202771 creator A5064230639 @default.
- W1718202771 creator A5081324945 @default.
- W1718202771 date "2015-07-01" @default.
- W1718202771 modified "2023-09-27" @default.
- W1718202771 title "Automotive systems requirement mining using breach" @default.
- W1718202771 doi "https://doi.org/10.1109/acc.2015.7171970" @default.
- W1718202771 hasPublicationYear "2015" @default.
- W1718202771 type Work @default.
- W1718202771 sameAs 1718202771 @default.
- W1718202771 citedByCount "7" @default.
- W1718202771 countsByYear W17182027712016 @default.
- W1718202771 countsByYear W17182027712019 @default.
- W1718202771 countsByYear W17182027712020 @default.
- W1718202771 countsByYear W17182027712021 @default.
- W1718202771 countsByYear W17182027712022 @default.
- W1718202771 crossrefType "proceedings-article" @default.
- W1718202771 hasAuthorship W1718202771A5005037066 @default.
- W1718202771 hasAuthorship W1718202771A5057473400 @default.
- W1718202771 hasAuthorship W1718202771A5064230639 @default.
- W1718202771 hasAuthorship W1718202771A5081324945 @default.
- W1718202771 hasConcept C101468663 @default.
- W1718202771 hasConcept C105795698 @default.
- W1718202771 hasConcept C111498074 @default.
- W1718202771 hasConcept C11413529 @default.
- W1718202771 hasConcept C117251300 @default.
- W1718202771 hasConcept C118615104 @default.
- W1718202771 hasConcept C127413603 @default.
- W1718202771 hasConcept C133731056 @default.
- W1718202771 hasConcept C162838799 @default.
- W1718202771 hasConcept C199360897 @default.
- W1718202771 hasConcept C25016198 @default.
- W1718202771 hasConcept C33923547 @default.
- W1718202771 hasConcept C39920170 @default.
- W1718202771 hasConcept C41008148 @default.
- W1718202771 hasConcept C55439883 @default.
- W1718202771 hasConcept C80444323 @default.
- W1718202771 hasConceptScore W1718202771C101468663 @default.
- W1718202771 hasConceptScore W1718202771C105795698 @default.
- W1718202771 hasConceptScore W1718202771C111498074 @default.
- W1718202771 hasConceptScore W1718202771C11413529 @default.
- W1718202771 hasConceptScore W1718202771C117251300 @default.
- W1718202771 hasConceptScore W1718202771C118615104 @default.
- W1718202771 hasConceptScore W1718202771C127413603 @default.
- W1718202771 hasConceptScore W1718202771C133731056 @default.
- W1718202771 hasConceptScore W1718202771C162838799 @default.
- W1718202771 hasConceptScore W1718202771C199360897 @default.
- W1718202771 hasConceptScore W1718202771C25016198 @default.
- W1718202771 hasConceptScore W1718202771C33923547 @default.
- W1718202771 hasConceptScore W1718202771C39920170 @default.
- W1718202771 hasConceptScore W1718202771C41008148 @default.
- W1718202771 hasConceptScore W1718202771C55439883 @default.
- W1718202771 hasConceptScore W1718202771C80444323 @default.
- W1718202771 hasLocation W17182027711 @default.
- W1718202771 hasOpenAccess W1718202771 @default.
- W1718202771 hasPrimaryLocation W17182027711 @default.
- W1718202771 hasRelatedWork W143597826 @default.
- W1718202771 hasRelatedWork W147450809 @default.
- W1718202771 hasRelatedWork W1527042423 @default.
- W1718202771 hasRelatedWork W2008542951 @default.
- W1718202771 hasRelatedWork W2055146545 @default.
- W1718202771 hasRelatedWork W2066304945 @default.
- W1718202771 hasRelatedWork W2258731633 @default.
- W1718202771 hasRelatedWork W2471467496 @default.
- W1718202771 hasRelatedWork W2912814862 @default.
- W1718202771 hasRelatedWork W2935844103 @default.
- W1718202771 hasRelatedWork W2943171997 @default.
- W1718202771 hasRelatedWork W2944751554 @default.
- W1718202771 hasRelatedWork W2985569491 @default.
- W1718202771 hasRelatedWork W2990661835 @default.
- W1718202771 hasRelatedWork W3003623904 @default.
- W1718202771 hasRelatedWork W3167070212 @default.
- W1718202771 hasRelatedWork W3199149012 @default.
- W1718202771 hasRelatedWork W615649978 @default.
- W1718202771 hasRelatedWork W809133120 @default.
- W1718202771 hasRelatedWork W2182120357 @default.
- W1718202771 isParatext "false" @default.
- W1718202771 isRetracted "false" @default.
- W1718202771 magId "1718202771" @default.
- W1718202771 workType "article" @default.