A Contract-Based Methodology for Aircraft Electric Power System Design
Citations
1,068 citations
468 citations
375 citations
Cites methods from "A Contract-Based Methodology for Ai..."
...These discrete controllers have successfully been used to construct hybrid controllers for cyber-physical systems in domains including robotics [9] and aircraft power system design [25]....
[...]
251 citations
Cites background from "A Contract-Based Methodology for Ai..."
...Approaches that utilize a discrete abstraction enable construction of discrete supervisory controllers, which have successfully been used to construct hybrid controllers for domains including robotics and aircraft power system design; these include approaches that deal with deterministic [17, 23] as well as adversarial environments [10, 27]....
[...]
144 citations
Cites methods from "A Contract-Based Methodology for Ai..."
...Based on the EPS architecture proposed in [62], a platform-based methodology was employed in [63],...
[...]
References
5,174 citations
4,905 citations
"A Contract-Based Methodology for Ai..." refers background in this paper
...While in contract-based design the component is regarded as the fundamental element of a design, and systems are denoted as interconnections of components, as we describe the basics of LTL, we prefer to adhere to the classical terminology, which is historically consolidated [23], and define design abstractions in terms of systems....
[...]
...In this section, we consider a version of temporal logic called linear temporal logic (LTL), whose formal semantics can be found in [23]....
[...]
3,409 citations
2,871 citations
1,230 citations
"A Contract-Based Methodology for Ai..." refers methods in this paper
...For the examples discussed in this paper, we used the Temporal Logic Planning (TuLiP) Toolbox [31], a collection of Python-based code for automatic synthesis of embedded control software, which provides an interface to JTLV....
[...]
...Signal Temporal Logic (STL) [26] has been proposed more recently as a specification language for constraints on real-valued signals in the context of analog and mixed-signal circuits....
[...]
...Parametric Signal Temporal Logic (PSTL) is an extension of STL introduced in [27] to define template formulas containing unknown parameters....
[...]
...To deal with dense-time real signals and hybrid dynamical model that mix the discrete dynamics of the controller with the continuous dynamics of the plant, several logics have been introduced over the years, such as Timed Propositional Temporal Logic [24], andMetric Temporal Logic [25]....
[...]