6 research outputs found
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