You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Georgios Bakirtzis (Feb 24 2021 at 04:50):Our paper (with C. Vasilakopoulou and C. Fleming) has been accepted in ACM Transactions on Cyber-Physical Systems – essentially a top venue in the area. Here is the paper with the minor revisions we just submitted https://arxiv.org/pdf/2010.08003.pdf
I was rather surprised; a lot of people kept cautioning me that category theory might be a hard sell (and my paper with Fabrizio kinda showed me that but I believe it was the wrong venue for the work).
We didn't have any problems with this one, reviews were useful and fair and they seemed interested in the categorical content especially as applied to system design and analysis. I say that to promote that maybe there is an unreasonable fear (if it even exists and is not in my head) of publishing in domain specific venues with category theory as a central concept.
Matteo Capucci (he/him) (Feb 24 2021 at 21:55):Kudos! The paper is really intriguing, I love the copious amount of worked out examples.
Matteo Capucci (he/him) (Feb 24 2021 at 21:56):Am I right the paper is mainly a description of categorical methods for cps aimed at specialists of that field, as opposed to new developments?
John Baez (Feb 24 2021 at 22:13):Congratulations! I'll check this out.
Boring first comment: some section titles are formatted like this:
System architecture
System requirements
and others like this:
System Behavior
Related Work
(This is the sort of thing I always notice first about a paper...)
Georgios Bakirtzis (Feb 25 2021 at 01:14):Matteo Capucci (he/him) said:
Am I right the paper is mainly a description of categorical methods for cps aimed at specialists of that field, as opposed to new developments?
The paper is using categorical results to construct new developments in the field of CPS. There is also some new stuff in regards to contracts but we use several results (as cited) to create something new for the modeling of those systems. I am not sure if that answers your question. As an engineer these applications are new as well in the sense that linear temporal logic existed way before robotics and controls people used it and it was a rather well developed theory but it had not been fully applied in control and robotics until roboticists and controls people did some concrete applications in a problem that was relevant to that field. Let me know if that answers your question, if not I would like to clarify to the best way possible.
Georgios Bakirtzis (Feb 25 2021 at 01:15):John Baez said:
Congratulations! I'll check this out.
Boring first comment: some section titles are formatted like this:
System architecture
System requirementsand others like this:
System Behavior
Related Work(This is the sort of thing I always notice first about a paper...)
Thanks, I fixed this for the final draft. Although I kept \section as the later one and \subsection as the former one. I am not sure what correct typographic style indicates here.
John Baez (Feb 25 2021 at 02:50):I don't think there's any one correct style here, but I think it's good to have section and subsection titles be capitalized in a consistent way; otherwise it feels discordant (even, I claim, to people who don't consciously notice).
Georgios Bakirtzis (Feb 25 2021 at 05:21):Thanks for the suggestion! I have made everything uniform to the later version of your previous message.
Matteo Capucci (he/him) (Feb 25 2021 at 07:22):Giorgos Bakirtzis said:
Matteo Capucci (he/him) said:
Am I right the paper is mainly a description of categorical methods for cps aimed at specialists of that field, as opposed to new developments?
The paper is using categorical results to construct new developments in the field of CPS. There is also some new stuff in regards to contracts but we use several results (as cited) to create something new for the modeling of those systems. I am not sure if that answers your question. As an engineer these applications are new as well in the sense that linear temporal logic existed way before robotics and controls people used it and it was a rather well developed theory but it had not been fully applied in control and robotics until roboticists and controls people did some concrete applications in a problem that was relevant to that field. Let me know if that answers your question, if not I would like to clarify to the best way possible.
Yes it does! Thanks. That's great, btw :) cool stuff
Jade Master (Feb 25 2021 at 18:55):Cool paper. I noticed that you used unmanned aerial vehicles as an example, is this related to your funding at all or is it just an example you found interesting?
Georgios Bakirtzis (Feb 25 2021 at 19:01):If you look at all my papers it's the common example, because I worked in the VCU UAV lab as an undergraduate and it's the system I know bottom to top :) it has nothing to do with my funding
Stelios Tsampas (Feb 26 2021 at 19:31):Congratulations @Giorgos Bakirtzis for this great success! I hope that you'll have many more similar results, demonstrating the usefulness of categorical approaches for cyber-physical systems!
Georgios Bakirtzis (Feb 26 2021 at 19:42):Thanks Stelios :)
dusko (May 12 2021 at 08:14):Georgios Bakirtzis said:
Our paper (with C. Vasilakopoulou and C. Fleming) has been accepted in ACM Transactions on Cyber-Physical Systems – essentially a top venue in the area. Here is the paper with the minor revisions we just submitted https://arxiv.org/pdf/2010.08003.pdf
I was rather surprised; a lot of people kept cautioning me that category theory might be a hard sell (and my paper with Fabrizio kinda showed me that but I believe it was the wrong venue for the work).
We didn't have any problems with this one, reviews were useful and fair and they seemed interested in the categorical content especially as applied to system design and analysis. I say that to promote that maybe there is an unreasonable fear (if it even exists and is not in my head) of publishing in domain specific venues with category theory as a central concept.
well, i just looked up the paper, and my sense is that it might not necessarily have to do with category theory, but with the fact that it is a very good, concrete, carefully written paper. and there is also a great deal of randomness, so sometimes by accident it happens that good papers get accepted.
dusko (May 12 2021 at 08:15):thanks for sharing!
Georgios Bakirtzis (May 12 2021 at 14:46):Thank you @dusko your comments are much appreciated
Georgios Bakirtzis (Jul 15 2021 at 13:39):The official publication is now online and open access https://dl.acm.org/doi/10.1145/3461669