Wykorzystanie hierarchicznego modelu współbieżnego automatu w projektowaniu sterowników cyfrowych

miejsce pracy autora rozprawy: Uniwersytet Zielonogórski,Wydział Elektrotechniki, Informatyki i Telekomunikacji,Instytut Informatyki i Elektroniki

Transition orthogonality in statechart diagrams and inconsistencies in binary control system

Abstract: The paper concerns the problem of some inconsistencies between controller and controlled object in control system. These inconsistencies are a results of incorrectly built predicates where state of the controller does not conforms state of the object. In the paper two solutions removing this flaw has been presented: with concurrent transition and with local variables

DATICS-2010: Welcome message from workshop organizers: FutureTech 2010

link_to_subscribed_fulltex

Preface of the 2010 IAENG International Conference on Electrical Engineering special session: Design, analysis and tools for integrated circuits and systems

link_to_subscribed_fulltex