The Experts below are selected from a list of 192 Experts worldwide ranked by ideXlab platform

Georgios Fainekos - One of the best experts on this subject based on the ideXlab platform.

  • Temporal logic control under incomplete or conflicting information
    2017 American Control Conference (ACC), 2017
    Co-Authors: Georgios Fainekos, Herbert G. Tanner
    Abstract:

    Temporal logic control methods have provided a viable path towards solving the single- and multi-robot path planning, control and coordination problems from high level Formal Requirements. In the existing frameworks, the prevalent assumption is that there is a single stakeholder with full or partial knowledge of the environment or the system. However, this assumption may not be valid in both off-line and on-line temporal logic control problems. That is, multiple stakeholders and inaccurate sources of information may produce a self-contradictory model of the world or the system. Classical control synthesis methods cannot handle non-consistent model environments even though such inconsistencies may not affect the control synthesis problem for a given Formal Requirement. In this work, we show how such problems can be circumvented by utilizing multi-valued temporal logics and system models.

  • Formal Requirement debugging for testing and verification of cyber physical systems
    arXiv: Systems and Control, 2016
    Co-Authors: Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
    Abstract:

    A framework for the elicitation and debugging of Formal specifications for Cyber-Physical Systems is presented. The elicitation of specifications is handled through a graphical interface. Two debugging algorithms are presented. The first checks for erroneous or incomplete temporal logic specifications without considering the system. The second can be utilized for the analysis of reactive Requirements with respect to system test traces. The specification debugging framework is applied on a number of Formal specifications collected through a user study. The user study establishes that Requirement errors are common and that the debugging framework can resolve many insidious specification errors.

  • Formal Requirement elicitation and debugging for testing and verification of cyber physical systems
    arXiv: Systems and Control, 2016
    Co-Authors: Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
    Abstract:

    A framework for the elicitation and debugging of Formal specifications for Cyber-Physical Systems is presented. The elicitation of specifications is handled through a graphical interface. Two debugging algorithms are presented. The first checks for erroneous or incomplete temporal logic specifications without considering the system. The second can be utilized for the analysis of reactive Requirements with respect to system test traces. The specification debugging framework is applied on a number of Formal specifications collected through a user study. The user study establishes that Requirement errors are common and that the debugging framework can resolve many insidious specification errors.

Sun Yi-ping - One of the best experts on this subject based on the ideXlab platform.

Sun Yiping - One of the best experts on this subject based on the ideXlab platform.

  • Formal rule by law based on the Formal Requirement of justice of right interpretation of rawls rule by law theory in a theory of justice
    Seeking Truth, 2012
    Co-Authors: Sun Yiping
    Abstract:

    There are two ways to interpret Rawls' theory of rule-by-law: one is the Formal rule-by-law;the other is essential rule-by-law.The former can not explain Rawls' Formal Requirement of law originates form the guarantee of freedom and the latter can not explain why he thinks rule-by-law is compatible with injustice.If we regard the guarantee of freedom as the Requirement of the justice of right,a good understanding of Rawls' theory of rule-by-law can be reached.Based on this,an exploration into the Formal rule-by-law based on the Formal Requirement of justice of right can explain the moral value of Formal rule-by-law lies in reducing evil in right.

M. Kronenburg - One of the best experts on this subject based on the ideXlab platform.

  • A generic approach to the Formal specification of Requirements
    First IEEE International Conference on Formal Engineering Methods, 1997
    Co-Authors: C. Peper, R. Gotzhein, M. Kronenburg
    Abstract:

    A generic approach to the Formal specification of system Requirements is presented. It is based on a pool of Requirement patterns, which are related to design patterns well-known in object-oriented software development. The application of such patterns enhances the reusability and genericity as well as the intelligibility of the Formal Requirement specification. The approach is instantiated by a tailored real-time temporal logic and by selecting building-automation systems as application domain. With respect to this domain, the pattern discovery and reuse tasks are explained and illustrated and a set of typical Requirement patterns is presented. The approach has the potential of reducing the effort to Formally specify system Requirements.

Herbert G. Tanner - One of the best experts on this subject based on the ideXlab platform.

  • Temporal logic control under incomplete or conflicting information
    2017 American Control Conference (ACC), 2017
    Co-Authors: Georgios Fainekos, Herbert G. Tanner
    Abstract:

    Temporal logic control methods have provided a viable path towards solving the single- and multi-robot path planning, control and coordination problems from high level Formal Requirements. In the existing frameworks, the prevalent assumption is that there is a single stakeholder with full or partial knowledge of the environment or the system. However, this assumption may not be valid in both off-line and on-line temporal logic control problems. That is, multiple stakeholders and inaccurate sources of information may produce a self-contradictory model of the world or the system. Classical control synthesis methods cannot handle non-consistent model environments even though such inconsistencies may not affect the control synthesis problem for a given Formal Requirement. In this work, we show how such problems can be circumvented by utilizing multi-valued temporal logics and system models.