BEGIN:VCALENDAR
VERSION:2.0
PRODID:IEEE vTools.Events//EN
CALSCALE:GREGORIAN
BEGIN:VTIMEZONE
TZID:America/New_York
BEGIN:DAYLIGHT
DTSTART:20260308T030000
TZOFFSETFROM:-0500
TZOFFSETTO:-0400
RRULE:FREQ=YEARLY;BYDAY=2SU;BYMONTH=3
TZNAME:EDT
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20261101T010000
TZOFFSETFROM:-0400
TZOFFSETTO:-0500
RRULE:FREQ=YEARLY;BYDAY=1SU;BYMONTH=11
TZNAME:EST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20260913T070610Z
UID:A4FAB062-EA38-4686-86A5-9996C4B0E197
DTSTART;TZID=America/New_York:20260922T193000
DTEND;TZID=America/New_York:20260922T203000
DESCRIPTION:IEEE North Jersey Section RAS/SMC Chapter Seminar on\n\nUsing U
 ML State Machines for Graphical Specification of Reconfigurable Cyber-Phys
 ical Systems Implemented in FPGAs\n\nGrzegorz Bazydło\, Ph.D. &amp; Assistant
  Professor\n\nInstitute of Control &amp; Computation Engineering\, University 
 of Zielona Góra\n\nTime: 7:30pm\, Tue.\, September 22\, 2026\n\nPlace: CK
 B 204\, NJIT\, Newark\, NJ\n\nZoom:\n\nhttps://njit-edu.zoom.us/j/97359662
 82?pwd=QlZtZFlOZ2FMZjlXemQwNmVUci9yUT09\n\nAbstract\n\nExamples of cyber-p
 hysical systems (CPSs) can nowadays be found in many sectors\, including t
 ransportation\, healthcare\, and manufacturing\, as well as in everyday li
 fe. One of the important features of modern CPSs is their ability to adapt
  to changing conditions. To address this need for adaptation\, the present
 ation introduces the concept of a reconfigurable cyber-physical system (RC
 PS). The term “reconfigurable” refers to CPSs in which the control par
 t (the “cyber” component) is implemented in FPGA device\, enabling the
  use of dynamic partial reconfiguration to modify part of the control algo
 rithm on the fly\, without shutting down the system. To enable such reconf
 iguration\, an appropriate behavioral model based on UML State Machines is
  developed\, with the static and reconfigurable parts identified and the s
 o-called “safety states” defined. The presentation will discuss a comp
 lete design workflow covering all these aspects—from defining the requir
 ements of a RCPS\, through its modeling and specification\, to hardware-ba
 sed validation of the resulting system. The proposed solution follows a Mo
 del-Driven Development (MDD) approach and is based on model transformation
 s performed in accordance with the Model-Driven Architecture (MDA).\n\nBio
 : Grzegorz Bazydło was born in 1978 in Zielona Góra\, Poland. He obtaine
 d his B.Sc. degree in Computer Engineering from the Technical University o
 f Zielona Góra in 2001\, and his M.Sc. and Ph.D. degrees in Computer Scie
 nce from the University of Zielona Góra (UZ) in 2003 and 2010\, respectiv
 ely. He currently works as an Assistant Professor at the Institute of Cont
 rol &amp; Computation Engineering (UZ). He is a member of the Polish Committee
  for Standardization (Technical Committee 182 for Information Protection i
 n ICT Systems)\, the Institute of Electrical and Electronics Engineers (IE
 EE)\, where he is a Senior Member\, and the Information and Communication 
 Technology Discipline Council at the University of Zielona Góra. He also 
 serves as an Associate Editor of the prestigious journal IEEE Transactions
  on Systems\, Man\, and Cybernetics: Systems. His research focuses on the 
 design of cyber-physical systems\, including their modeling\, analysis\, a
 nd implementation. In particular\, he is interested in modeling the contro
 l part of reconfigurable CPSs using graphical methods and languages\, such
  as UML State Machine diagrams\, Petri nets\, and the Lingua Franca langua
 ge. In 2022\, he completed a research internship under the supervision of 
 Prof. Edward A. Lee\, a leading expert in cyber-physical systems design\, 
 at the University of California\, Berkeley. He has published more than 60 
 scientific works\, including a postdoctoral monograph and more than 20 jou
 rnal papers and book chapters. Outside of work\, he is an active sports en
 thusiast\, especially jogging. He has also been involved in scouting for m
 ore than 30 years as a member and instructor of the Polish Scouting and Gu
 iding Association (ZHP)\, and teaches first aid courses for young people. 
 In 2007\, he obtained the professional title of paramedic and earned a bac
 helor&#39;s degree from the Faculty of Public Health at Wrocław Medical Unive
 rsity.\n\nPlease contact this seminar’s host (esp. if you need a free vi
 sitor’s parking slot at Lot 7 of NJIT): Mengchu Zhou\, Ph.D. &amp; Dist. Pro
 fessor\, zhou@njit.edu\n\nNewark\, New Jersey\, United States\, Virtual: h
 ttps://events.vtools.ieee.org/m/577392
LOCATION:Newark\, New Jersey\, United States\, Virtual: https://events.vtoo
 ls.ieee.org/m/577392
ORGANIZER:zhou@njit.edu
SEQUENCE:12
SUMMARY:Seminar on Using UML State Machines for Graphical Specification of 
 Reconfigurable Cyber-Physical Systems Implemented in FPGAs
URL;VALUE=URI:https://events.vtools.ieee.org/m/577392
X-ALT-DESC:Description: &lt;br /&gt;&lt;p class=&quot;MsoNormal&quot; align=&quot;center&quot;&gt;&lt;strong&gt;I
 EEE North Jersey Section RAS/SMC Chapter Seminar on&lt;/strong&gt;&lt;/p&gt;\n&lt;p class
 =&quot;MsoNormal&quot; align=&quot;center&quot;&gt;&amp;nbsp\;&lt;/p&gt;\n&lt;p class=&quot;MsoNormal&quot; align=&quot;cente
 r&quot;&gt;Using UML State Machines for Graphical Specification of Reconfigurable 
 Cyber-Physical Systems Implemented in FPGAs&lt;/p&gt;\n&lt;p class=&quot;MsoNormal&quot; alig
 n=&quot;center&quot;&gt;&amp;nbsp\;&lt;/p&gt;\n&lt;p class=&quot;MsoNormal&quot; align=&quot;center&quot;&gt;Grzegorz Bazyd
 ło\, Ph.D. &amp;amp\; Assistant Professor&lt;/p&gt;\n&lt;p class=&quot;MsoNormal&quot; align=&quot;ce
 nter&quot;&gt;Institute of Control &amp;amp\; Computation Engineering\, University of 
 Zielona G&amp;oacute\;ra&lt;/p&gt;\n&lt;p class=&quot;MsoNormal&quot; align=&quot;center&quot;&gt;Time: 7:30pm
 \, Tue.\, September 22\, 2026&lt;/p&gt;\n&lt;p class=&quot;MsoNormal&quot; align=&quot;center&quot;&gt;Pla
 ce: CKB 204\, NJIT\, Newark\, NJ&lt;/p&gt;\n&lt;p class=&quot;MsoNormal&quot; align=&quot;center&quot;&gt;
 Zoom:&lt;/p&gt;\n&lt;p class=&quot;MsoNormal&quot; align=&quot;center&quot;&gt;&lt;a href=&quot;https://njit-edu.z
 oom.us/j/9735966282?pwd=QlZtZFlOZ2FMZjlXemQwNmVUci9yUT09&quot;&gt;&lt;u&gt;&lt;span class=&quot;
 15&quot;&gt;https://njit-edu.zoom.us/j/9735966282?pwd=QlZtZFlOZ2FMZjlXemQwNmVUci9y
 UT09&lt;/span&gt;&lt;/u&gt;&lt;/a&gt;&lt;/p&gt;\n&lt;p class=&quot;MsoNormal&quot;&gt;&amp;nbsp\;&lt;/p&gt;\n&lt;p class=&quot;MsoNo
 rmal&quot;&gt;&lt;em&gt;Abstract &lt;/em&gt;&lt;/p&gt;\n&lt;p class=&quot;MsoNormal&quot;&gt;Examples of cyber-physi
 cal systems (CPSs) can nowadays be found in many sectors\, including trans
 portation\, healthcare\, and manufacturing\, as well as in everyday life. 
 One of the important features of modern CPSs is their ability to adapt to 
 changing conditions. To address this need for adaptation\, the presentatio
 n introduces the concept of a reconfigurable cyber-physical system (RCPS).
  The term &amp;ldquo\;reconfigurable&amp;rdquo\; refers to CPSs in which the contr
 ol part (the &amp;ldquo\;cyber&amp;rdquo\; component) is implemented in FPGA devic
 e\, enabling the use of dynamic partial reconfiguration to modify part of 
 the control algorithm on the fly\, without shutting down the system. To en
 able such reconfiguration\, an appropriate behavioral model based on UML S
 tate Machines is developed\, with the static and reconfigurable parts iden
 tified and the so-called &amp;ldquo\;safety states&amp;rdquo\; defined. The presen
 tation will discuss a complete design workflow covering all these aspects&amp;
 mdash\;from defining the requirements of a RCPS\, through its modeling and
  specification\, to hardware-based validation of the resulting system. The
  proposed solution follows a Model-Driven Development (MDD) approach and i
 s based on model transformations performed in accordance with the Model-Dr
 iven Architecture (MDA).&lt;/p&gt;\n&lt;p class=&quot;MsoNormal&quot;&gt;&amp;nbsp\;&lt;/p&gt;\n&lt;p class=&quot;
 MsoNormal&quot;&gt;&lt;em&gt;Bio: &lt;/em&gt;Grzegorz Bazydło was born in 1978 in Zielona G&amp;o
 acute\;ra\, Poland. He obtained his B.Sc. degree in Computer Engineering f
 rom the Technical University of Zielona G&amp;oacute\;ra in 2001\, and his M.S
 c. and Ph.D. degrees in Computer Science from the University of Zielona G&amp;
 oacute\;ra (UZ) in 2003 and 2010\, respectively. He currently works as an 
 Assistant Professor at the Institute of Control &amp;amp\; Computation Enginee
 ring (UZ). He is a member of the Polish Committee for Standardization (Tec
 hnical Committee 182 for Information Protection in ICT Systems)\, the Inst
 itute of Electrical and Electronics Engineers (IEEE)\, where he is a Senio
 r Member\, and the Information and Communication Technology Discipline Cou
 ncil at the University of Zielona G&amp;oacute\;ra. He also serves as an Assoc
 iate Editor of the prestigious journal IEEE Transactions on Systems\, Man\
 , and Cybernetics: Systems. His research focuses on the design of cyber-ph
 ysical systems\, including their modeling\, analysis\, and implementation.
  In particular\, he is interested in modeling the control part of reconfig
 urable CPSs using graphical methods and languages\, such as UML State Mach
 ine diagrams\, Petri nets\, and the Lingua Franca language. In 2022\, he c
 ompleted a research internship under the supervision of Prof. Edward A. Le
 e\, a leading expert in cyber-physical systems design\, at the University 
 of California\, Berkeley. He has published more than 60 scientific works\,
  including a postdoctoral monograph and more than 20 journal papers and bo
 ok chapters. Outside of work\, he is an active sports enthusiast\, especia
 lly jogging. He has also been involved in scouting for more than 30 years 
 as a member and instructor of the Polish Scouting and Guiding Association 
 (ZHP)\, and teaches first aid courses for young people. In 2007\, he obtai
 ned the professional title of paramedic and earned a bachelor&#39;s degree fro
 m the Faculty of Public Health at Wrocław Medical University.&lt;/p&gt;\n&lt;p cla
 ss=&quot;MsoNormal&quot;&gt;&amp;nbsp\;&lt;/p&gt;\n&lt;p class=&quot;MsoNormal&quot;&gt;Please contact this semin
 ar&amp;rsquo\;s host (esp. if you need a free visitor&amp;rsquo\;s parking slot at
  Lot 7 of NJIT): Mengchu Zhou\, Ph.D. &amp;amp\; Dist. Professor\, zhou@njit.e
 du&lt;/p&gt;
END:VEVENT
END:VCALENDAR

