|
||||||||||||||||
|
||||||||||||||||
|
Lattes CV: click here How to reach me
Research interests:
Currently, much of the technological infrastructure is event driven
where systems output is dependent on a sequence of desirable actions
taking place. In well-controlled environments, the action sequence may be
structured and deterministic. However, elsewhere in the society, the action
sequence may be fuzzy or even stochastic. This makes the evaluation of performance
metrics a much more difficult task. Many of the sequential event-driven systems
available may be modeled as Discrete-Event Dynamic Systems (DEDS). The activation
of events depends on logical conditions, which are important part of the system
and its mathematical model. Studies related to DEDS have been under development since the late 1970s.
The interest in DEDS receive a new impulse in late 1990s, when Petri nets and
other techniques began to receive serious consideration. Our interest in this topic stems from our research on using Stochastic Petri nets
to evaluate the performance of different kinds of DEDS, in particular power aware
real-time systems, workflow management systems, and outbound
logistic.
current
interest:
service-oriented e-Business system modeled using BPEL (a business process
execution language for Web services);
current
interest: compiler
optimization of power aware real-time systems;
current
interest: techniques
based on static analysis
|
||||||||||||||||
|
Computação
Eletrônica (in Portuguese) |
||||||||||||||||
