The SIGNAL declarative synchronous language : controller synthesis & systems / architecture design 1

نویسندگان

  • Albert Benveniste
  • Patricia Bournai
  • Thierry Gautier
  • Michel Le Borgne
  • Paul Le Guernic
  • Hervé Marchand
  • Jan C. Willems
چکیده

Dynamical systems working have been recognized as essential in the area of computer science, under the name of reactive systems by David Harel. Synchronous languages have been proposed as a paradigm to deal with reactive systems and develop tools for them. In this paper we introduce synchronous programming paradigm via the notion of multiclock dynamical systems and illustrate it via the SIGNAL language. We give an outline of controller synthesis in SIGNAL, and system/architecture design.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The SIGNAL declarative synchronous language: controller synthesis and systems/architecture design

Dynamical systems working have been recognized as essential in the area of computer science, under the name of reactive systems by David Harel. Synchronous languages have been proposed as a paradigm to deal with reactive systems and develop tools for them. In this paper we introduce synchronous programming paradigm via the notion of multiclock dynamical systems and illustrate it via the SIGNAL ...

متن کامل

A Controller Design with ANFIS Architecture Attendant Learning Ability for SSSC-Based Damping Controller Applied in Single Machine Infinite Bus System

Static Synchronous Series Compensator (SSSC) is a series compensating Flexible AC Transmission System (FACTS) controller for maintaining to the power flow control on a transmission line by injecting a voltage in quadrature with the line current and in series mode with the line. In this work, an Adaptive Network-based Fuzzy Inference System controller (ANFISC) has been proposed for controlling o...

متن کامل

Robust Controller Design for IG Driven by Variable-Speed in WECS Using μ-Synthesis

This paper presents robust controller design for a wind-driven induction generator system using structured singular value ( -synthesis) method. The controller was designed for a static synchronous compensator (STATCOM) and a variable blade pitch angle in a wind energy conversion system (WECS) in order to achieve the required voltage and mechanical power control. The results indicated that this ...

متن کامل

I. Production Cell in Lustre

Our aim was to fully develop (i.e. specify, program and verify) a controller for the production cell simulator. We have specified and programmed the controller in Lustre, which is a declarative language for programming synchronous reactive systems. For verification we have used a symbolic model checker, called Lesar, which allows to automatically verify those Lustre programs which use only bool...

متن کامل

C C not C true not C false

This documentation is designed to serve as a user s manual for Signal and Sigali It explains how one can use Signal and Sigali from scratch without any previous knowledge about the architecture of either of them Signal is the compiler of a synchronous data ow language of the same name This language is used for precise speci cation of real time reactive discrete event systems When used with one ...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001